testsuite: remove some old -sat-cudd tests

Apparently some relics were left here. Destroy them. Signed-off-by: Austin Seipp <[email protected]>
kenta2 · Sep 5, 2024 · 41004a1 · 41004a1
1 parent fa289f5
commit 41004a1
Show file tree

Hide file tree

Showing 23 changed files with 0 additions and 1,497 deletions.
diff --git a/testsuite/bsc.scheduler/sat/AddTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/AddTest_sat-cudd.bsv.bsc-sched-out.expected
diff --git a/testsuite/bsc.scheduler/sat/ArraySelectImplCondTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ArraySelectImplCondTest_sat-cudd.bsv.bsc-sched-out.expected
diff --git a/testsuite/bsc.scheduler/sat/ArraySelectLongIndexTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ArraySelectLongIndexTest_sat-cudd.bsv.bsc-sched-out.expected
diff --git a/testsuite/bsc.scheduler/sat/ArraySelectShortIndexTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ArraySelectShortIndexTest_sat-cudd.bsv.bsc-sched-out.expected
diff --git a/testsuite/bsc.scheduler/sat/ArraySelectTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/ArraySelectTest_sat-cudd.bsv.bsc-sched-out.expected
diff --git a/testsuite/bsc.scheduler/sat/BoolTest_sat-cudd.bsv.bsc-sched-out.expected b/testsuite/bsc.scheduler/sat/BoolTest_sat-cudd.bsv.bsc-sched-out.expected