diff options
-rw-r--r-- | debian/tests/control | 2 | ||||
-rwxr-xr-x | debian/tests/smtbc | 12 |
2 files changed, 13 insertions, 1 deletions
diff --git a/debian/tests/control b/debian/tests/control index 94262d9f..3459b297 100644 --- a/debian/tests/control +++ b/debian/tests/control @@ -1,2 +1,2 @@ -Tests: ice +Tests: ice, smtbc Depends: @ diff --git a/debian/tests/smtbc b/debian/tests/smtbc new file mode 100755 index 00000000..fb07acd6 --- /dev/null +++ b/debian/tests/smtbc @@ -0,0 +1,12 @@ +#!/bin/bash + +# Just verify that there are no Python import errors when starting yosys-smtbmc + +yosys-smtbmc 2>&1 | grep --quiet ImportError +RET=$? + +if [ "$RET" = "0" ]; then + exit 1 +else + exit 0 +fi |