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 about 6 years ago
Bug fixed for horn traces option with stateful asserts