write_btor: Include $assert and $assume cells in -ywmap output
#110
| Job | Run time |
|---|---|
| 7s | |
| 14m 38s | |
| 6m 2s | |
| 20m 20s | |
| 19m 49s | |
| 28m 28s | |
| 12m 12s | |
| 1h 41m 36s |
$assert and $assume cells in -ywmap output
#110
| Job | Run time |
|---|---|
| 7s | |
| 14m 38s | |
| 6m 2s | |
| 20m 20s | |
| 19m 49s | |
| 28m 28s | |
| 12m 12s | |
| 1h 41m 36s |