|
junit
|
Don't fail tests when xmlschema is missing
|
2022-06-03 17:22:45 +02:00 |
|
keepgoing
|
Refactor tests
|
2022-04-11 17:50:38 +02:00 |
|
make
|
Use the test Makefile for all examples
|
2022-06-13 13:42:58 +02:00 |
|
regression
|
Regression test for smtbmc --unroll --noincr
|
2022-06-13 13:36:42 +02:00 |
|
unsorted
|
aiger: check supported modes and aigbmc fixes
|
2022-06-14 17:41:06 +02:00 |
|
.gitignore
|
Refactor tests
|
2022-04-11 17:50:38 +02:00 |
|
Makefile
|
tests: Remove unused tool list in test Makefile
|
2022-06-08 11:32:35 +02:00 |
