Skip to content

testsuite: remove some old -sat-cudd tests #117

testsuite: remove some old -sat-cudd tests

testsuite: remove some old -sat-cudd tests #117

Build/Test: GHC Ubuntu (9.8.2, 2.7.0.0)  /  Test bsc-contrib ubuntu-22.04 ghc-9.8.2

succeeded Sep 5, 2024 in 2m 36s