write_btor: Include $assert and $assume cells in -ywmap output
#115
| Job | Run time |
|---|---|
| 5s | |
| 5s | |
| 11m 5s | |
| 5m 17s | |
| 27s | |
| 10m 45s | |
| 7m 34s | |
| 35m 18s |
$assert and $assume cells in -ywmap output
#115
| Job | Run time |
|---|---|
| 5s | |
| 5s | |
| 11m 5s | |
| 5m 17s | |
| 27s | |
| 10m 45s | |
| 7m 34s | |
| 35m 18s |