Revision c02d255e
Solved some bugs in the lustre printer
Generation of a witness with both the main node and hte inlined main node
Test script modified to check consistency of the inlining process
Files
- added
- modified
- copied
- renamed
- deleted
ID | c02d255e4a3e02cc71c716286f17139766f31218 |
Parent | 7bc15356 |
Child | 274c72ec |
Added by Pierre-Loïc Garoche about 7 years ago
Solved some bugs in the lustre printer
Generation of a witness with both the main node and hte inlined main node
Test script modified to check consistency of the inlining process