Commit c26508e
authored
Ct (#68)
* fix (#61)
* Add .gitignore for build
* Add .gitignore for build
* report multiple drivers
* coverage
* implicit net fix + logging for multi driver + cov
* remove unwanted prints
* cov
* fix
* cov
* ct
* ct
* gains with removing sp
* ct
* ct
* ct
* ct
* ct
* ct
* ct
* ct
* visited field + mt ds opt
* bool expr cache
* use bool expr cache for cloud build
* cmake command update
* cleaning tests and prints
* update testing
* update testing
* update testing
* cov
* cov
* cov
* cov
* cov
* cov1 parent c1edd4a commit c26508e
16 files changed
Lines changed: 745 additions & 677 deletions
File tree
- src
- clauses
- formal
- strategies/miter
- test/utils
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
54 | 54 | | |
55 | 55 | | |
56 | 56 | | |
57 | | - | |
58 | | - | |
59 | | - | |
60 | | - | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
61 | 63 | | |
62 | 64 | | |
63 | 65 | | |
| |||
0 commit comments