Revision c825868a
added a new option -print_reuse that prints clock disjoint variables and reuse policy.
useful for debugging and carrying correctness proofs to the C code level.
non trivial result only when option -O 3 or above is activated.
Files
- added
- modified
- copied
- renamed
- deleted