data/full_repos/permissive/143278/ivltests/check_constant_2.v
 line:13: before: "."
1: b"%Error: data/full_repos/permissive/143278/ivltests/check_constant_2.v:13: Expecting expression to be constant, but variable isn't const: 'Value2'\n                                                                        : ... In instance top_module\ndefparam sub_module.Value1 = Value2;\n                             ^~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/check_constant_2.v:13: Can't convert defparam value to constant: Param 'Value1' of 'sub_module'\n                                                                        : ... In instance top_module\ndefparam sub_module.Value1 = Value2;\n                           ^\n%Error: Exiting due to 2 error(s)\n"
module sub_module();

parameter Value1 = 0;

endmodule
module sub_module();


parameter Value1 = 0;

endmodule