testsuite: add a test for missing ise family

4b5e40f5 · Tristan Gingold · 6a603e1c · 4b5e40f5 · 4b5e40f5
Commit 4b5e40f5 authored Oct 29, 2019 by Tristan Gingold
Hide whitespace changes
Inline Side-by-side

Showing with 18 additions and 0 deletions

Manifest.py testsuite/086ise_no_family/Manifest.py +13 -0

test_all.py testsuite/test_all.py +5 -0

No files found.
--- a/testsuite/086ise_no_family/Manifest.py
+++ b/testsuite/086ise_no_family/Manifest.py
+action = "synthesis"
+language = "vhdl"
+
+syn_device = "xc3000"
+syn_grade = "-3"
+syn_package = "fgg484"
+
+syn_top = "gate"
+syn_project = "gate.xise"
+
+syn_tool = "ise"
+
+files = [ "../files/gate.vhdl" ]
--- a/testsuite/test_all.py
+++ b/testsuite/test_all.py
@@ -466,6 +466,11 @@ def test_err_simtool():
        run([], path="085bad_sim")
        assert False

+def test_err_ise_no_family():
+    with pytest.raises(SystemExit) as _:
+        run([], path="086ise_no_family")
+        assert False
+
 @pytest.mark.xfail
 def test_xfail():
    """This is a self-consistency test: the test is known to fail"""