data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_proposition_wrapped.v
None: at end of input
1: b"%Error: data/full_repos/permissive/17099167/system/hardware/cores/fabric/ovl_proposition_wrapped.v:16: Cannot find file containing module: 'ovl_proposition'\n    ovl_proposition ovl_proposition(\n    ^~~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/17099167/system/hardware/cores/fabric,data/full_repos/permissive/17099167/ovl_proposition\n             data/full_repos/permissive/17099167/system/hardware/cores/fabric,data/full_repos/permissive/17099167/ovl_proposition.v\n             data/full_repos/permissive/17099167/system/hardware/cores/fabric,data/full_repos/permissive/17099167/ovl_proposition.sv\n             ovl_proposition\n             ovl_proposition.v\n             ovl_proposition.sv\n             obj_dir/ovl_proposition\n             obj_dir/ovl_proposition.v\n             obj_dir/ovl_proposition.sv\n%Error: Exiting due to 1 error(s)\n"
module ovl_proposition_wrapped(
    rst,
    enable,
    test_expr,
    prevConfigInvalid,
    out
);
    input rst;
    input enable;
    input test_expr;
    input  prevConfigInvalid;
    output out;

    wire [2:0]  result_3bit;
   
    ovl_proposition ovl_proposition(
	.reset(rst),
        .enable(enable),
	.test_expr(test_expr),
	.fire(result_3bit)
    );
   
    assign out = result_3bit[0] & ~prevConfigInvalid;
endmodule
module ovl_proposition_wrapped(
    rst,
    enable,
    test_expr,
    prevConfigInvalid,
    out
);

    input rst;
    input enable;
    input test_expr;
    input  prevConfigInvalid;
    output out;

    wire [2:0]  result_3bit;
   
    ovl_proposition ovl_proposition(
	.reset(rst),
        .enable(enable),
	.test_expr(test_expr),
	.fire(result_3bit)
    );
   
    assign out = result_3bit[0] & ~prevConfigInvalid;
endmodule