Revision 0dee2bc1
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