Add a test for vlog include file not found.

f30f91b2 · Tristan Gingold · 04901db5 · f30f91b2 · f30f91b2 · f30f91b2
Commit f30f91b2 authored Jun 14, 2019 by Tristan Gingold
Hide whitespace changes
Inline Side-by-side

Showing with 16 additions and 0 deletions

Manifest.py testsuite/077err_vlg_include/Manifest.py +7 -0

vlog.v testsuite/077err_vlg_include/vlog.v +5 -0

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

No files found.
--- a/testsuite/077err_vlg_include/Manifest.py
+++ b/testsuite/077err_vlg_include/Manifest.py
+action = "simulation"
+
+sim_tool="modelsim"
+
+top_module = "gate"
+
+files = [ "vlog.v" ]
--- a/testsuite/077err_vlg_include/vlog.v
+++ b/testsuite/077err_vlg_include/vlog.v
+`include "notfount.vh"
+
+module gate;
+  wire w3;
+endmodule
--- a/testsuite/test_all.py
+++ b/testsuite/test_all.py
@@ -367,6 +367,10 @@ def test_err_manifest_key():
 def test_svlog_parser():
    run_compare(path="052svlog_parser")

+def test_err_vlog_include():
+    with pytest.raises(SystemExit) as _:
+        run([], path="077err_vlg_include")
+
 def test_dep_level():
    run(['list-files'], path="053vlog_dep_level")
    run(['list-files', '--delimiter', ','], path="053vlog_dep_level")