Thanks Stefan. I've integrated your PR.
On Nov 6 2020, at 6:32 pm, stephan <step...@stack.nl> wrote:
>
> https://github.com/bouraqadi/BackTalkNG/pull/1
>
>
> On 06-11-2020 17:34, Noury Bouraqadi wrote:
> >
> > Thanx Stefan for the fix.
> > Since there's some interest in this, I've migrated the code to GitHub and
> > added a baseline.
> > So, Stefan you can add your fix and make a PR :-)
> >
> > Noury
> > On Nov 6 2020, at 3:58 pm, Stéphane Ducasse <stephane.duca...@inria.fr>
> > (mailto:stephane.duca...@inria.fr) wrote:
> > > Hi stephan did you publish the code?
> > >
> > > > On 6 Nov 2020, at 15:12, stephan <step...@stack.nl
> > > > (mailto:step...@stack.nl)> wrote:
> > > > Replacing BTNGVariable>>#nextValue by
> > > > nextValue
> > > > | nextValue |
> > > > self currentValue
> > > > ifNotNil: [valuesToExplore remove: self currentValue].
> > > > nextValue := self valuesToExplore ifEmpty: [ nil ]
> > > > ifNotEmpty: [self valuesToExplore anyOne].
> > > > self currentValue: nextValue.
> > > > ^ nextValue
> > > >
> > > > returning nil instead of self when there are no more new values
> > > > makes the tests pass in BackTalkNG-Noury.20.mcz (Pharo 9)
> > > >
> > > > That version looks like it is work in progress but has one working
> > > > solver.
> > > >
> > > > Stephan
> > >
> > > --------------------------------------------
> > > Stéphane Ducasse
> > > http://stephane.ducasse.free.fr / http://www.pharo.org
> > > 03 59 35 87 52
> > > Assistant: Aurore Dalle
> > > FAX 03 59 57 78 50
> > > TEL 03 59 35 86 16
> > > S. Ducasse - Inria
> > > 40, avenue Halley,
> > > Parc Scientifique de la Haute Borne, Bât.A, Park Plaza
> > > Villeneuve d'Ascq 59650
> > > France
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> > >
> >
>
