Revision 7a442071
Bug fixed for horn traces option with stateful asserts
Files
- added
- modified
- copied
- renamed
- deleted
ID | 7a442071c021b7738cfb082feec220e9e29b761b |
Parent | 5fe9fe22 |
Child | ad6b7375 |
Added by Pierre-Loïc Garoche almost 6 years ago
Bug fixed for horn traces option with stateful asserts