diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2018-07-27 18:45:10 +0000 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-07-27 18:45:32 +0000 |
commit | 3f6dadd9a0ca7f47e6f6a31392ed7a25b4727337 (patch) | |
tree | 591b2a34e527a9a6cbd6716213733b277a582399 /debian/tests/control | |
parent | f8d3320a15b1e155d6d1e5cb91315f9222114d92 (diff) |
Test for import errors for yosys-smtbmc
Diffstat (limited to 'debian/tests/control')
-rw-r--r-- | debian/tests/control | 2 |
1 files changed, 1 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: @ |