Project

General

Profile

« Previous | Next » 

Revision 0dee2bc1

Added by Pierre-Loïc Garoche about 9 years ago

Refactoring of the horn backend with Reset/Step instead of Init/Step.
Teme, please perform a string non regression test wrt the previous version, to make sure we have the same model checking results.

  • added
  • modified
  • copied
  • renamed
  • deleted