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 over 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