Revision 3e209698
First fully working version of horn backend.
Has to be called with "-horn -node main_node"
The test script compute the smt2 file and calls z3 on them.
Files
- added
- modified
- copied
- renamed
- deleted
ID | 3e209698805db3ef2ded4f806b47c552867aecd6 |
Parent | 3a60ec17 |
Child | 433b1e6b |
Added by Pierre-Loïc Garoche about 7 years ago
First fully working version of horn backend.
Has to be called with "-horn -node main_node"
The test script compute the smt2 file and calls z3 on them.