write_btor: don't emit undriven bits multiple times #967
| Job | Run time |
|---|---|
| 4s | |
| 4s | |
| 6s | |
| 6s | |
| 15m 37s | |
| 15m 37s | |
| 9m 52s | |
| 9m 52s | |
| 22m 5s | |
| 22m 5s | |
| 5m 26s | |
| 16m 9s | |
| 32s | |
| 32s | |
| 1h 58m 7s |
| Job | Run time |
|---|---|
| 4s | |
| 4s | |
| 6s | |
| 6s | |
| 15m 37s | |
| 15m 37s | |
| 9m 52s | |
| 9m 52s | |
| 22m 5s | |
| 22m 5s | |
| 5m 26s | |
| 16m 9s | |
| 32s | |
| 32s | |
| 1h 58m 7s |