From f9ab26b3d9f406105377232ab50fa5b4df3226a9 Mon Sep 17 00:00:00 2001 From: Lars-Peter Clausen Date: Sun, 10 May 2026 22:12:54 -0700 Subject: [PATCH] Add regression tests for unpacked l-value concat errors Check that class objects, dynamic arrays, queues, strings and static unpacked arrays can not be used as l-value concatenation operands. Check procedural and continuous assignment concatenations, including single operand concatenations. Signed-off-by: Lars-Peter Clausen --- ivtest/ivltests/sv_lval_concat_class_fail1.v | 15 ++++++++++++++ ivtest/ivltests/sv_lval_concat_class_fail2.v | 15 ++++++++++++++ ivtest/ivltests/sv_lval_concat_class_fail3.v | 14 +++++++++++++ ivtest/ivltests/sv_lval_concat_class_fail4.v | 13 ++++++++++++ ivtest/ivltests/sv_lval_concat_darray_fail1.v | 12 +++++++++++ ivtest/ivltests/sv_lval_concat_darray_fail2.v | 12 +++++++++++ ivtest/ivltests/sv_lval_concat_darray_fail3.v | 11 ++++++++++ ivtest/ivltests/sv_lval_concat_darray_fail4.v | 10 ++++++++++ ivtest/ivltests/sv_lval_concat_queue_fail1.v | 12 +++++++++++ ivtest/ivltests/sv_lval_concat_queue_fail2.v | 12 +++++++++++ ivtest/ivltests/sv_lval_concat_queue_fail3.v | 11 ++++++++++ ivtest/ivltests/sv_lval_concat_queue_fail4.v | 10 ++++++++++ ivtest/ivltests/sv_lval_concat_string_fail1.v | 12 +++++++++++ ivtest/ivltests/sv_lval_concat_string_fail2.v | 12 +++++++++++ ivtest/ivltests/sv_lval_concat_string_fail3.v | 11 ++++++++++ ivtest/ivltests/sv_lval_concat_string_fail4.v | 10 ++++++++++ ivtest/ivltests/sv_lval_concat_uarray_fail1.v | 12 +++++++++++ ivtest/ivltests/sv_lval_concat_uarray_fail2.v | 12 +++++++++++ ivtest/ivltests/sv_lval_concat_uarray_fail3.v | 11 ++++++++++ ivtest/ivltests/sv_lval_concat_uarray_fail4.v | 10 ++++++++++ ivtest/regress-vvp.list | 20 +++++++++++++++++++ .../vvp_tests/sv_lval_concat_class_fail1.json | 5 +++++ .../vvp_tests/sv_lval_concat_class_fail2.json | 5 +++++ .../vvp_tests/sv_lval_concat_class_fail3.json | 5 +++++ .../vvp_tests/sv_lval_concat_class_fail4.json | 5 +++++ .../sv_lval_concat_darray_fail1.json | 5 +++++ .../sv_lval_concat_darray_fail2.json | 5 +++++ .../sv_lval_concat_darray_fail3.json | 5 +++++ .../sv_lval_concat_darray_fail4.json | 5 +++++ .../vvp_tests/sv_lval_concat_queue_fail1.json | 5 +++++ .../vvp_tests/sv_lval_concat_queue_fail2.json | 5 +++++ .../vvp_tests/sv_lval_concat_queue_fail3.json | 5 +++++ .../vvp_tests/sv_lval_concat_queue_fail4.json | 5 +++++ .../sv_lval_concat_string_fail1.json | 5 +++++ .../sv_lval_concat_string_fail2.json | 5 +++++ .../sv_lval_concat_string_fail3.json | 5 +++++ .../sv_lval_concat_string_fail4.json | 5 +++++ .../sv_lval_concat_uarray_fail1.json | 5 +++++ .../sv_lval_concat_uarray_fail2.json | 5 +++++ .../sv_lval_concat_uarray_fail3.json | 5 +++++ .../sv_lval_concat_uarray_fail4.json | 5 +++++ 41 files changed, 357 insertions(+) create mode 100644 ivtest/ivltests/sv_lval_concat_class_fail1.v create mode 100644 ivtest/ivltests/sv_lval_concat_class_fail2.v create mode 100644 ivtest/ivltests/sv_lval_concat_class_fail3.v create mode 100644 ivtest/ivltests/sv_lval_concat_class_fail4.v create mode 100644 ivtest/ivltests/sv_lval_concat_darray_fail1.v create mode 100644 ivtest/ivltests/sv_lval_concat_darray_fail2.v create mode 100644 ivtest/ivltests/sv_lval_concat_darray_fail3.v create mode 100644 ivtest/ivltests/sv_lval_concat_darray_fail4.v create mode 100644 ivtest/ivltests/sv_lval_concat_queue_fail1.v create mode 100644 ivtest/ivltests/sv_lval_concat_queue_fail2.v create mode 100644 ivtest/ivltests/sv_lval_concat_queue_fail3.v create mode 100644 ivtest/ivltests/sv_lval_concat_queue_fail4.v create mode 100644 ivtest/ivltests/sv_lval_concat_string_fail1.v create mode 100644 ivtest/ivltests/sv_lval_concat_string_fail2.v create mode 100644 ivtest/ivltests/sv_lval_concat_string_fail3.v create mode 100644 ivtest/ivltests/sv_lval_concat_string_fail4.v create mode 100644 ivtest/ivltests/sv_lval_concat_uarray_fail1.v create mode 100644 ivtest/ivltests/sv_lval_concat_uarray_fail2.v create mode 100644 ivtest/ivltests/sv_lval_concat_uarray_fail3.v create mode 100644 ivtest/ivltests/sv_lval_concat_uarray_fail4.v create mode 100644 ivtest/vvp_tests/sv_lval_concat_class_fail1.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_class_fail2.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_class_fail3.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_class_fail4.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_darray_fail1.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_darray_fail2.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_darray_fail3.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_darray_fail4.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_queue_fail1.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_queue_fail2.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_queue_fail3.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_queue_fail4.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_string_fail1.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_string_fail2.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_string_fail3.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_string_fail4.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_uarray_fail1.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_uarray_fail2.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_uarray_fail3.json create mode 100644 ivtest/vvp_tests/sv_lval_concat_uarray_fail4.json diff --git a/ivtest/ivltests/sv_lval_concat_class_fail1.v b/ivtest/ivltests/sv_lval_concat_class_fail1.v new file mode 100644 index 000000000..09a0150ae --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_class_fail1.v @@ -0,0 +1,15 @@ +// Check that class objects can not be used in l-value concatenations. + +module test; + + class C; + endclass + + int x; + C c; + + initial begin + {x, c} = x; + end + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_class_fail2.v b/ivtest/ivltests/sv_lval_concat_class_fail2.v new file mode 100644 index 000000000..061c33898 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_class_fail2.v @@ -0,0 +1,15 @@ +// Check that class objects can not be used in single operand l-value concatenations. + +module test; + + class C; + endclass + + int x; + C c; + + initial begin + {c} = x; + end + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_class_fail3.v b/ivtest/ivltests/sv_lval_concat_class_fail3.v new file mode 100644 index 000000000..22e6ebcb0 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_class_fail3.v @@ -0,0 +1,14 @@ +// Check that class objects can not be used in continuous assignment l-value concatenations. + +module test; + + class C; + endclass + + int x; + C c; + int y; + + assign {x, c} = y; + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_class_fail4.v b/ivtest/ivltests/sv_lval_concat_class_fail4.v new file mode 100644 index 000000000..958c3d38d --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_class_fail4.v @@ -0,0 +1,13 @@ +// Check that class objects can not be used in single operand continuous assignment l-value concatenations. + +module test; + + class C; + endclass + + C c; + int y; + + assign {c} = y; + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_darray_fail1.v b/ivtest/ivltests/sv_lval_concat_darray_fail1.v new file mode 100644 index 000000000..66c4b93df --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_darray_fail1.v @@ -0,0 +1,12 @@ +// Check that dynamic arrays can not be used in l-value concatenations. + +module test; + + int x; + int d[]; + + initial begin + {x, d} = x; + end + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_darray_fail2.v b/ivtest/ivltests/sv_lval_concat_darray_fail2.v new file mode 100644 index 000000000..e0cec7842 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_darray_fail2.v @@ -0,0 +1,12 @@ +// Check that dynamic arrays can not be used in single operand l-value concatenations. + +module test; + + int x; + int d[]; + + initial begin + {d} = x; + end + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_darray_fail3.v b/ivtest/ivltests/sv_lval_concat_darray_fail3.v new file mode 100644 index 000000000..0617fc040 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_darray_fail3.v @@ -0,0 +1,11 @@ +// Check that dynamic arrays can not be used in continuous assignment l-value concatenations. + +module test; + + int x; + int d[]; + int y; + + assign {x, d} = y; + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_darray_fail4.v b/ivtest/ivltests/sv_lval_concat_darray_fail4.v new file mode 100644 index 000000000..c9848b0b9 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_darray_fail4.v @@ -0,0 +1,10 @@ +// Check that dynamic arrays can not be used in single operand continuous assignment l-value concatenations. + +module test; + + int d[]; + int y; + + assign {d} = y; + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_queue_fail1.v b/ivtest/ivltests/sv_lval_concat_queue_fail1.v new file mode 100644 index 000000000..5fd60aaa2 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_queue_fail1.v @@ -0,0 +1,12 @@ +// Check that queues can not be used in l-value concatenations. + +module test; + + int x; + int q[$]; + + initial begin + {x, q} = x; + end + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_queue_fail2.v b/ivtest/ivltests/sv_lval_concat_queue_fail2.v new file mode 100644 index 000000000..11f1474b9 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_queue_fail2.v @@ -0,0 +1,12 @@ +// Check that queues can not be used in single operand l-value concatenations. + +module test; + + int x; + int q[$]; + + initial begin + {q} = x; + end + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_queue_fail3.v b/ivtest/ivltests/sv_lval_concat_queue_fail3.v new file mode 100644 index 000000000..cd80fa3a3 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_queue_fail3.v @@ -0,0 +1,11 @@ +// Check that queues can not be used in continuous assignment l-value concatenations. + +module test; + + int x; + int q[$]; + int y; + + assign {x, q} = y; + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_queue_fail4.v b/ivtest/ivltests/sv_lval_concat_queue_fail4.v new file mode 100644 index 000000000..76754cb48 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_queue_fail4.v @@ -0,0 +1,10 @@ +// Check that queues can not be used in single operand continuous assignment l-value concatenations. + +module test; + + int q[$]; + int y; + + assign {q} = y; + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_string_fail1.v b/ivtest/ivltests/sv_lval_concat_string_fail1.v new file mode 100644 index 000000000..9ba22b586 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_string_fail1.v @@ -0,0 +1,12 @@ +// Check that strings can not be used in l-value concatenations. + +module test; + + int x; + string s; + + initial begin + {x, s} = x; + end + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_string_fail2.v b/ivtest/ivltests/sv_lval_concat_string_fail2.v new file mode 100644 index 000000000..09a3d5f41 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_string_fail2.v @@ -0,0 +1,12 @@ +// Check that strings can not be used in single operand l-value concatenations. + +module test; + + int x; + string s; + + initial begin + {s} = x; + end + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_string_fail3.v b/ivtest/ivltests/sv_lval_concat_string_fail3.v new file mode 100644 index 000000000..336d0e669 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_string_fail3.v @@ -0,0 +1,11 @@ +// Check that strings can not be used in continuous assignment l-value concatenations. + +module test; + + int x; + string s; + int y; + + assign {x, s} = y; + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_string_fail4.v b/ivtest/ivltests/sv_lval_concat_string_fail4.v new file mode 100644 index 000000000..404b6f0d2 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_string_fail4.v @@ -0,0 +1,10 @@ +// Check that strings can not be used in single operand continuous assignment l-value concatenations. + +module test; + + string s; + int y; + + assign {s} = y; + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_uarray_fail1.v b/ivtest/ivltests/sv_lval_concat_uarray_fail1.v new file mode 100644 index 000000000..c70b74013 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_uarray_fail1.v @@ -0,0 +1,12 @@ +// Check that static unpacked arrays can not be used in l-value concatenations. + +module test; + + int x; + int u[0:0]; + + initial begin + {x, u} = x; + end + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_uarray_fail2.v b/ivtest/ivltests/sv_lval_concat_uarray_fail2.v new file mode 100644 index 000000000..4d48ed593 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_uarray_fail2.v @@ -0,0 +1,12 @@ +// Check that static unpacked arrays can not be used in single operand l-value concatenations. + +module test; + + int x; + int u[0:0]; + + initial begin + {u} = x; + end + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_uarray_fail3.v b/ivtest/ivltests/sv_lval_concat_uarray_fail3.v new file mode 100644 index 000000000..51b778028 --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_uarray_fail3.v @@ -0,0 +1,11 @@ +// Check that static unpacked arrays can not be used in continuous assignment l-value concatenations. + +module test; + + int x; + int u[0:0]; + int y; + + assign {x, u} = y; + +endmodule diff --git a/ivtest/ivltests/sv_lval_concat_uarray_fail4.v b/ivtest/ivltests/sv_lval_concat_uarray_fail4.v new file mode 100644 index 000000000..ae15eb28f --- /dev/null +++ b/ivtest/ivltests/sv_lval_concat_uarray_fail4.v @@ -0,0 +1,10 @@ +// Check that static unpacked arrays can not be used in single operand continuous assignment l-value concatenations. + +module test; + + int u[0:0]; + int y; + + assign {u} = y; + +endmodule diff --git a/ivtest/regress-vvp.list b/ivtest/regress-vvp.list index 5671edaf5..0c806d0d1 100644 --- a/ivtest/regress-vvp.list +++ b/ivtest/regress-vvp.list @@ -274,6 +274,26 @@ sv_foreach9 vvp_tests/sv_foreach9.json sv_foreach10 vvp_tests/sv_foreach10.json sv_interface vvp_tests/sv_interface.json sv_literals vvp_tests/sv_literals.json +sv_lval_concat_class_fail1 vvp_tests/sv_lval_concat_class_fail1.json +sv_lval_concat_class_fail2 vvp_tests/sv_lval_concat_class_fail2.json +sv_lval_concat_class_fail3 vvp_tests/sv_lval_concat_class_fail3.json +sv_lval_concat_class_fail4 vvp_tests/sv_lval_concat_class_fail4.json +sv_lval_concat_darray_fail1 vvp_tests/sv_lval_concat_darray_fail1.json +sv_lval_concat_darray_fail2 vvp_tests/sv_lval_concat_darray_fail2.json +sv_lval_concat_darray_fail3 vvp_tests/sv_lval_concat_darray_fail3.json +sv_lval_concat_darray_fail4 vvp_tests/sv_lval_concat_darray_fail4.json +sv_lval_concat_queue_fail1 vvp_tests/sv_lval_concat_queue_fail1.json +sv_lval_concat_queue_fail2 vvp_tests/sv_lval_concat_queue_fail2.json +sv_lval_concat_queue_fail3 vvp_tests/sv_lval_concat_queue_fail3.json +sv_lval_concat_queue_fail4 vvp_tests/sv_lval_concat_queue_fail4.json +sv_lval_concat_string_fail1 vvp_tests/sv_lval_concat_string_fail1.json +sv_lval_concat_string_fail2 vvp_tests/sv_lval_concat_string_fail2.json +sv_lval_concat_string_fail3 vvp_tests/sv_lval_concat_string_fail3.json +sv_lval_concat_string_fail4 vvp_tests/sv_lval_concat_string_fail4.json +sv_lval_concat_uarray_fail1 vvp_tests/sv_lval_concat_uarray_fail1.json +sv_lval_concat_uarray_fail2 vvp_tests/sv_lval_concat_uarray_fail2.json +sv_lval_concat_uarray_fail3 vvp_tests/sv_lval_concat_uarray_fail3.json +sv_lval_concat_uarray_fail4 vvp_tests/sv_lval_concat_uarray_fail4.json sv_mixed_assign1 vvp_tests/sv_mixed_assign1.json sv_mixed_assign2 vvp_tests/sv_mixed_assign2.json sv_mixed_assign_error1 vvp_tests/sv_mixed_assign_error1.json diff --git a/ivtest/vvp_tests/sv_lval_concat_class_fail1.json b/ivtest/vvp_tests/sv_lval_concat_class_fail1.json new file mode 100644 index 000000000..40b769246 --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_class_fail1.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_class_fail1.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_class_fail2.json b/ivtest/vvp_tests/sv_lval_concat_class_fail2.json new file mode 100644 index 000000000..803e89d8d --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_class_fail2.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_class_fail2.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_class_fail3.json b/ivtest/vvp_tests/sv_lval_concat_class_fail3.json new file mode 100644 index 000000000..610d6872f --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_class_fail3.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_class_fail3.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_class_fail4.json b/ivtest/vvp_tests/sv_lval_concat_class_fail4.json new file mode 100644 index 000000000..612cc605c --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_class_fail4.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_class_fail4.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_darray_fail1.json b/ivtest/vvp_tests/sv_lval_concat_darray_fail1.json new file mode 100644 index 000000000..8442e431f --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_darray_fail1.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_darray_fail1.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_darray_fail2.json b/ivtest/vvp_tests/sv_lval_concat_darray_fail2.json new file mode 100644 index 000000000..93eb8e0ce --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_darray_fail2.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_darray_fail2.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_darray_fail3.json b/ivtest/vvp_tests/sv_lval_concat_darray_fail3.json new file mode 100644 index 000000000..cf0408a32 --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_darray_fail3.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_darray_fail3.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_darray_fail4.json b/ivtest/vvp_tests/sv_lval_concat_darray_fail4.json new file mode 100644 index 000000000..0d6af611d --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_darray_fail4.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_darray_fail4.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_queue_fail1.json b/ivtest/vvp_tests/sv_lval_concat_queue_fail1.json new file mode 100644 index 000000000..94d535fef --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_queue_fail1.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_queue_fail1.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_queue_fail2.json b/ivtest/vvp_tests/sv_lval_concat_queue_fail2.json new file mode 100644 index 000000000..a53dc3713 --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_queue_fail2.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_queue_fail2.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_queue_fail3.json b/ivtest/vvp_tests/sv_lval_concat_queue_fail3.json new file mode 100644 index 000000000..73844e309 --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_queue_fail3.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_queue_fail3.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_queue_fail4.json b/ivtest/vvp_tests/sv_lval_concat_queue_fail4.json new file mode 100644 index 000000000..4f56bc0bc --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_queue_fail4.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_queue_fail4.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_string_fail1.json b/ivtest/vvp_tests/sv_lval_concat_string_fail1.json new file mode 100644 index 000000000..a357deb9d --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_string_fail1.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_string_fail1.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_string_fail2.json b/ivtest/vvp_tests/sv_lval_concat_string_fail2.json new file mode 100644 index 000000000..fe34900ff --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_string_fail2.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_string_fail2.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_string_fail3.json b/ivtest/vvp_tests/sv_lval_concat_string_fail3.json new file mode 100644 index 000000000..9c7409a3d --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_string_fail3.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_string_fail3.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_string_fail4.json b/ivtest/vvp_tests/sv_lval_concat_string_fail4.json new file mode 100644 index 000000000..0cd79d33d --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_string_fail4.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_string_fail4.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_uarray_fail1.json b/ivtest/vvp_tests/sv_lval_concat_uarray_fail1.json new file mode 100644 index 000000000..3b668613d --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_uarray_fail1.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_uarray_fail1.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_uarray_fail2.json b/ivtest/vvp_tests/sv_lval_concat_uarray_fail2.json new file mode 100644 index 000000000..b835f8940 --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_uarray_fail2.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_uarray_fail2.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_uarray_fail3.json b/ivtest/vvp_tests/sv_lval_concat_uarray_fail3.json new file mode 100644 index 000000000..8845375aa --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_uarray_fail3.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_uarray_fail3.v", + "iverilog-args" : [ "-g2005-sv" ] +} diff --git a/ivtest/vvp_tests/sv_lval_concat_uarray_fail4.json b/ivtest/vvp_tests/sv_lval_concat_uarray_fail4.json new file mode 100644 index 000000000..15e9eb063 --- /dev/null +++ b/ivtest/vvp_tests/sv_lval_concat_uarray_fail4.json @@ -0,0 +1,5 @@ +{ + "type" : "CE", + "source" : "sv_lval_concat_uarray_fail4.v", + "iverilog-args" : [ "-g2005-sv" ] +}