Project

General

Profile

« Previous | Next » 

Revision 0dee2bc1

ID0dee2bc158cd5bc7c4661d843c01ab6f5c7b4985
Parent 50f7d587
Child 5df5dd85

Added by Pierre-Loïc Garoche almost 4 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.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences