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: ubuntu-24.04  /  Test Toooba ubuntu-24.04 ghc-9.6.6

succeeded Sep 5, 2024 in 9m 41s