write_btor: Include $assert and $assume cells in -ywmap output
#4056
| Job | Run time |
|---|---|
| 25s | |
| 9m 13s | |
| 9m 38s |
$assert and $assume cells in -ywmap output
#4056
| Job | Run time |
|---|---|
| 25s | |
| 9m 13s | |
| 9m 38s |