Skip to content
  • Pascal Raymond's avatar
    AutoExplore with partial eval no longer used, · 561ba995
    Pascal Raymond authored
    in order to avoid strange "assert" behavior.
    Simu is based on standard AutoGen, thus
    the behavior is the same with simu and compiled luc.
    Warning: the experience of AutoExplore raised
    important problems between Lutin and Lucky semantics:
    should be fixed in a later version !
    561ba995