From b7f9be937022d81d54dea2f9e02c0042e02e78d5 Mon Sep 17 00:00:00 2001 From: Martin Whitaker Date: Sun, 11 May 2025 11:38:58 +0100 Subject: [PATCH] Add regression test for issue #1242. --- ivtest/gold/br_gh1242-vvp-stdout.gold | 1 + ivtest/ivltests/br_gh1242.v | 8 ++++++++ ivtest/regress-vvp.list | 1 + ivtest/vvp_tests/br_gh1242.json | 5 +++++ 4 files changed, 15 insertions(+) create mode 100644 ivtest/gold/br_gh1242-vvp-stdout.gold create mode 100644 ivtest/ivltests/br_gh1242.v create mode 100644 ivtest/vvp_tests/br_gh1242.json diff --git a/ivtest/gold/br_gh1242-vvp-stdout.gold b/ivtest/gold/br_gh1242-vvp-stdout.gold new file mode 100644 index 000000000..9a8475251 --- /dev/null +++ b/ivtest/gold/br_gh1242-vvp-stdout.gold @@ -0,0 +1 @@ +ivltests/br_gh1242.v:6: $finish(1) called at 0 (1s) diff --git a/ivtest/ivltests/br_gh1242.v b/ivtest/ivltests/br_gh1242.v new file mode 100644 index 000000000..cbf8c03d5 --- /dev/null +++ b/ivtest/ivltests/br_gh1242.v @@ -0,0 +1,8 @@ +module test; + +// synthesis translate_on +// synthesis translate_off + +initial $finish(1); + +endmodule diff --git a/ivtest/regress-vvp.list b/ivtest/regress-vvp.list index c848bdc84..72a2fd2cf 100644 --- a/ivtest/regress-vvp.list +++ b/ivtest/regress-vvp.list @@ -64,6 +64,7 @@ br_gh1180a vvp_tests/br_gh1180a.json br_gh1180b vvp_tests/br_gh1180b.json br_gh1181 vvp_tests/br_gh1181.json br_gh1184 vvp_tests/br_gh1184.json +br_gh1242 vvp_tests/br_gh1242.json ca_time_real vvp_tests/ca_time_real.json case1 vvp_tests/case1.json case2 vvp_tests/case2.json diff --git a/ivtest/vvp_tests/br_gh1242.json b/ivtest/vvp_tests/br_gh1242.json new file mode 100644 index 000000000..0cd87ffd4 --- /dev/null +++ b/ivtest/vvp_tests/br_gh1242.json @@ -0,0 +1,5 @@ +{ + "type" : "normal", + "source" : "br_gh1242.v", + "gold" : "br_gh1242" +}