data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v
1: b'%Warning-WIDTH: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:764: Operator COND expects 64 bits on the Conditional False, but Conditional False\'s VARREF \'in\' generates 1 bits.\n                                                                                                                                 : ... In instance FloatOpsWithTrig.u_pad_1\n    assign y = (n > width) ? {{(n - width){1\'b0}}, in} : in;\n                           ^\n                ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.\n%Warning-WIDTH: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:764: Operator COND expects 64 bits on the Conditional False, but Conditional False\'s VARREF \'in\' generates 2 bits.\n                                                                                                                                 : ... In instance FloatOpsWithTrig.u_pad_6\n    assign y = (n > width) ? {{(n - width){1\'b0}}, in} : in;\n                           ^\n%Warning-WIDTH: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:764: Operator COND expects 64 bits on the Conditional False, but Conditional False\'s VARREF \'in\' generates 3 bits.\n                                                                                                                                 : ... In instance FloatOpsWithTrig.u_pad_12\n    assign y = (n > width) ? {{(n - width){1\'b0}}, in} : in;\n                           ^\n%Warning-WIDTH: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:764: Operator COND expects 64 bits on the Conditional False, but Conditional False\'s VARREF \'in\' generates 4 bits.\n                                                                                                                                 : ... In instance FloatOpsWithTrig.u_pad_24\n    assign y = (n > width) ? {{(n - width){1\'b0}}, in} : in;\n                           ^\n%Warning-WIDTH: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:764: Operator COND expects 64 bits on the Conditional False, but Conditional False\'s VARREF \'in\' generates 5 bits.\n                                                                                                                                 : ... In instance FloatOpsWithTrig.u_pad_33\n    assign y = (n > width) ? {{(n - width){1\'b0}}, in} : in;\n                           ^\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:24: Cannot find file containing module: \'BBFAdd\'\n    BBFAdd BBFAdd (\n    ^~~~~~\n        ... Looked in:\n             data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference,data/full_repos/permissive/493019833/BBFAdd\n             data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference,data/full_repos/permissive/493019833/BBFAdd.v\n             data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference,data/full_repos/permissive/493019833/BBFAdd.sv\n             BBFAdd\n             BBFAdd.v\n             BBFAdd.sv\n             obj_dir/BBFAdd\n             obj_dir/BBFAdd.v\n             obj_dir/BBFAdd.sv\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:46: Cannot find file containing module: \'BBFSubtract\'\n    BBFSubtract BBFSubtract (\n    ^~~~~~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:73: Cannot find file containing module: \'BBFMultiply\'\n    BBFMultiply BBFMultiply (\n    ^~~~~~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:100: Cannot find file containing module: \'BBFDivide\'\n    BBFDivide BBFDivide (\n    ^~~~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:126: Cannot find file containing module: \'BBFLn\'\n    BBFLn BBFLn (\n    ^~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:151: Cannot find file containing module: \'BBFLog10\'\n    BBFLog10 BBFLog10 (\n    ^~~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:176: Cannot find file containing module: \'BBFExp\'\n    BBFExp BBFExp (\n    ^~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:201: Cannot find file containing module: \'BBFSqrt\'\n    BBFSqrt BBFSqrt (\n    ^~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:227: Cannot find file containing module: \'BBFPow\'\n    BBFPow BBFPow (\n    ^~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:253: Cannot find file containing module: \'BBFFloor\'\n    BBFFloor BBFFloor (\n    ^~~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:278: Cannot find file containing module: \'BBFCeil\'\n    BBFCeil BBFCeil (\n    ^~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:304: Cannot find file containing module: \'BBFGreaterThan\'\n    BBFGreaterThan BBFGreaterThan (\n    ^~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:326: Cannot find file containing module: \'BBFGreaterThanEquals\'\n    BBFGreaterThanEquals BBFGreaterThanEquals (\n    ^~~~~~~~~~~~~~~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:352: Cannot find file containing module: \'BBFSin\'\n    BBFSin BBFSin (\n    ^~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:377: Cannot find file containing module: \'BBFCos\'\n    BBFCos BBFCos (\n    ^~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:402: Cannot find file containing module: \'BBFTan\'\n    BBFTan BBFTan (\n    ^~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:427: Cannot find file containing module: \'BBFASin\'\n    BBFASin BBFASin (\n    ^~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:452: Cannot find file containing module: \'BBFACos\'\n    BBFACos BBFACos (\n    ^~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:477: Cannot find file containing module: \'BBFATan\'\n    BBFATan BBFATan (\n    ^~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:503: Cannot find file containing module: \'BBFATan2\'\n    BBFATan2 BBFATan2 (\n    ^~~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:530: Cannot find file containing module: \'BBFHypot\'\n    BBFHypot BBFHypot (\n    ^~~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:556: Cannot find file containing module: \'BBFSinh\'\n    BBFSinh BBFSinh (\n    ^~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:581: Cannot find file containing module: \'BBFCosh\'\n    BBFCosh BBFCosh (\n    ^~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:606: Cannot find file containing module: \'BBFTanh\'\n    BBFTanh BBFTanh (\n    ^~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:631: Cannot find file containing module: \'BBFASinh\'\n    BBFASinh BBFASinh (\n    ^~~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:656: Cannot find file containing module: \'BBFACosh\'\n    BBFACosh BBFACosh (\n    ^~~~~~~~\n%Error: data/full_repos/permissive/493019833/test/testcase/firrtl/FloatOpsWithTrig.lo/reference/FloatOpsWithTrig.lo.v:681: Cannot find file containing module: \'BBFATanh\'\n    BBFATanh BBFATanh (\n    ^~~~~~~~\n%Error: Exiting due to 27 error(s), 5 warning(s)\n'
module MUX_UNSIGNED(y, sel, a, b);
    parameter width = 4;
    output [width-1:0] y;
    input sel;
    input [width-1:0] a;
    input [width-1:0] b;
    assign y = sel ? a : b;
endmodule
module MUX_UNSIGNED(y, sel, a, b);

    parameter width = 4;
    output [width-1:0] y;
    input sel;
    input [width-1:0] a;
    input [width-1:0] b;
    assign y = sel ? a : b;
endmodule