data/full_repos/permissive/205055389/vlib/coke.v
 line:103: before: "$"
1: b'%Error: data/full_repos/permissive/205055389/vlib/coke.v:85: Unsupported or unknown PLI call: $tkg$post\n      $tkg$post("CokeMachine","%m");\n      ^~~~~~~~~\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:86: Unsupported or unknown PLI call: $tkg$exec\n      $tkg$exec("CokeMachine::setCost %m %d",COST);   \n      ^~~~~~~~~\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:87: Unsupported or unknown PLI call: $tkg$exec\n      $tkg$exec("CokeMachine::resetMachine %m %d",_RESET);   \n      ^~~~~~~~~\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:94: Unsupported or unknown PLI call: $tkg$exec\n    $tkg$exec("CokeMachine::setEmpty %m {%b %b %b %b %b %b}", ELIGHT[0],ELIGHT[1],ELIGHT[2],ELIGHT[3],ELIGHT[4],ELIGHT[5]);\n    ^~~~~~~~~\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:103: Unsupported or unknown PLI call: $tkg$exec\n        #10 $tkg$exec("CokeMachine::dispense %m 0");\n            ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:103: Unsupported: Ignoring delay on this delayed statement.\n        #10 $tkg$exec("CokeMachine::dispense %m 0");\n        ^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:107: Unsupported: Ignoring delay on this delayed statement.\n      #10 DISPACK = 1\'b0;\n      ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:113: Unsupported or unknown PLI call: $tkg$exec\n        #10 $tkg$exec("CokeMachine::dispense %m 1");\n            ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:113: Unsupported: Ignoring delay on this delayed statement.\n        #10 $tkg$exec("CokeMachine::dispense %m 1");\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:117: Unsupported: Ignoring delay on this delayed statement.\n      #10 DISPACK = 1\'b0;\n      ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:123: Unsupported or unknown PLI call: $tkg$exec\n        #10 $tkg$exec("CokeMachine::dispense %m 2");\n            ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:123: Unsupported: Ignoring delay on this delayed statement.\n        #10 $tkg$exec("CokeMachine::dispense %m 2");\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:127: Unsupported: Ignoring delay on this delayed statement.\n      #10 DISPACK = 1\'b0;\n      ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:133: Unsupported or unknown PLI call: $tkg$exec\n        #10 $tkg$exec("CokeMachine::dispense %m 3");\n            ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:133: Unsupported: Ignoring delay on this delayed statement.\n        #10 $tkg$exec("CokeMachine::dispense %m 3");\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:137: Unsupported: Ignoring delay on this delayed statement.\n      #10 DISPACK = 1\'b0;\n      ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:143: Unsupported or unknown PLI call: $tkg$exec\n        #10 $tkg$exec("CokeMachine::dispense %m 4");\n            ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:143: Unsupported: Ignoring delay on this delayed statement.\n        #10 $tkg$exec("CokeMachine::dispense %m 4");\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:147: Unsupported: Ignoring delay on this delayed statement.\n      #10 DISPACK = 1\'b0;\n      ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:153: Unsupported or unknown PLI call: $tkg$exec\n        #10 $tkg$exec("CokeMachine::dispense %m 5");\n            ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:153: Unsupported: Ignoring delay on this delayed statement.\n        #10 $tkg$exec("CokeMachine::dispense %m 5");\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:157: Unsupported: Ignoring delay on this delayed statement.\n      #10 DISPACK = 1\'b0;\n      ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:165: Unsupported or unknown PLI call: $tkg$exec\n        #10 $tkg$exec("CokeMachine::ejectChange %m 25");\n            ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:165: Unsupported: Ignoring delay on this delayed statement.\n        #10 $tkg$exec("CokeMachine::ejectChange %m 25");\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:169: Unsupported: Ignoring delay on this delayed statement.\n    #10 CHGACK = 1\'b0;\n    ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:174: Unsupported or unknown PLI call: $tkg$exec\n        #10 $tkg$exec("CokeMachine::ejectChange %m 10");\n            ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:174: Unsupported: Ignoring delay on this delayed statement.\n        #10 $tkg$exec("CokeMachine::ejectChange %m 10");\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:178: Unsupported: Ignoring delay on this delayed statement.\n      #10 CHGACK = 1\'b0;\n      ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:183: Unsupported or unknown PLI call: $tkg$exec\n        #10 $tkg$exec("CokeMachine::ejectChange %m 5");\n            ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:183: Unsupported: Ignoring delay on this delayed statement.\n        #10 $tkg$exec("CokeMachine::ejectChange %m 5");\n        ^\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:187: Unsupported: Ignoring delay on this delayed statement.\n      #10 CHGACK = 1\'b0;\n      ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:192: Unsupported or unknown PLI call: $tkg$exec\n        #10 $tkg$exec("CokeMachine::commitInserted %m");\n            ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:192: Unsupported: Ignoring delay on this delayed statement.\n        #10 $tkg$exec("CokeMachine::commitInserted %m");\n        ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:201: Unsupported or unknown PLI call: $tkg$exec\n        #10 $tkg$exec("CokeMachine::returnInserted %m");\n            ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:201: Unsupported: Ignoring delay on this delayed statement.\n        #10 $tkg$exec("CokeMachine::returnInserted %m");\n        ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:210: Unsupported or unknown PLI call: $tkg$exec\n  always @ (INSACK) $tkg$exec("CokeMachine::insertAck %m -value %b",INSACK);   \n                    ^~~~~~~~~\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:213: Unsupported or unknown PLI call: $tkg$exec\n  always @ (COST) $tkg$exec("CokeMachine::setCost %m %d",COST);   \n                  ^~~~~~~~~\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:214: Unsupported or unknown PLI call: $tkg$exec\n  always @ (_RESET) $tkg$exec("CokeMachine::resetMachine %m %d",_RESET);   \n                    ^~~~~~~~~\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:221: Unsupported or unknown PLI call: $tkg$send\n  always @ (NOCHG) $tkg$send("%m.NOCHG",NOCHG);\n                   ^~~~~~~~~\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:222: Unsupported or unknown PLI call: $tkg$send\n  always @ (BILLLT) $tkg$send("%m.BILLLT",BILLLT);\n                    ^~~~~~~~~\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:230: Unsupported or unknown PLI call: $tkg$exec\n     #10 $tkg$exec("CokeMachine::billIn %m -value %b",BILLIN);\n         ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:230: Unsupported: Ignoring delay on this delayed statement.\n     #10 $tkg$exec("CokeMachine::billIn %m -value %b",BILLIN);\n     ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:233: Unsupported or unknown PLI call: $tkg$exec\n     #10 $tkg$exec("CokeMachine::billOut %m -value %b",BILLOUT);\n         ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:233: Unsupported: Ignoring delay on this delayed statement.\n     #10 $tkg$exec("CokeMachine::billOut %m -value %b",BILLOUT);\n     ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:235: Unsupported or unknown PLI call: $tkg$recv\n  always #10 EMPTY = $tkg$recv("%m.EMPTY");\n                     ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:235: Unsupported: Ignoring delay on this delayed statement.\n  always #10 EMPTY = $tkg$recv("%m.EMPTY");\n         ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:236: Unsupported or unknown PLI call: $tkg$recv\n  always #10 PRESS = $tkg$recv("%m.PRESS");\n                     ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:236: Unsupported: Ignoring delay on this delayed statement.\n  always #10 PRESS = $tkg$recv("%m.PRESS");\n         ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:237: Unsupported or unknown PLI call: $tkg$recv\n  always #10 INSQ = $tkg$recv("%m.INSQ");\n                    ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:237: Unsupported: Ignoring delay on this delayed statement.\n  always #10 INSQ = $tkg$recv("%m.INSQ");\n         ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:238: Unsupported or unknown PLI call: $tkg$recv\n  always #10 INSD = $tkg$recv("%m.INSD");\n                    ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:238: Unsupported: Ignoring delay on this delayed statement.\n  always #10 INSD = $tkg$recv("%m.INSD");\n         ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:239: Unsupported or unknown PLI call: $tkg$recv\n  always #10 INSN = $tkg$recv("%m.INSN");\n                    ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:239: Unsupported: Ignoring delay on this delayed statement.\n  always #10 INSN = $tkg$recv("%m.INSN");\n         ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:240: Unsupported or unknown PLI call: $tkg$recv\n  always #10 NUMQ = $tkg$recv("%m.NUMQ");\n                    ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:240: Unsupported: Ignoring delay on this delayed statement.\n  always #10 NUMQ = $tkg$recv("%m.NUMQ");\n         ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:241: Unsupported or unknown PLI call: $tkg$recv\n  always #10 NUMD = $tkg$recv("%m.NUMD");\n                    ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:241: Unsupported: Ignoring delay on this delayed statement.\n  always #10 NUMD = $tkg$recv("%m.NUMD");\n         ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:242: Unsupported or unknown PLI call: $tkg$recv\n  always #10 NUMN = $tkg$recv("%m.NUMN");\n                    ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:242: Unsupported: Ignoring delay on this delayed statement.\n  always #10 NUMN = $tkg$recv("%m.NUMN");\n         ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:243: Unsupported or unknown PLI call: $tkg$recv\n  always #10 BILLSNS = $tkg$recv("%m.BILLSNS");\n                       ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:243: Unsupported: Ignoring delay on this delayed statement.\n  always #10 BILLSNS = $tkg$recv("%m.BILLSNS");\n         ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:244: Unsupported or unknown PLI call: $tkg$recv\n  always #10 CNRET = $tkg$recv("%m.CNRET");\n                     ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:244: Unsupported: Ignoring delay on this delayed statement.\n  always #10 CNRET = $tkg$recv("%m.CNRET");\n         ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:245: Unsupported or unknown PLI call: $tkg$recv\n  always #10 BILLOK = $tkg$recv("%m.BILLOK");\n                      ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:245: Unsupported: Ignoring delay on this delayed statement.\n  always #10 BILLOK = $tkg$recv("%m.BILLOK");\n         ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:246: Unsupported or unknown PLI call: $tkg$recv\n  always #10 BILLNG = $tkg$recv("%m.BILLNG");\n                      ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:246: Unsupported: Ignoring delay on this delayed statement.\n  always #10 BILLNG = $tkg$recv("%m.BILLNG");\n         ^\n%Error: data/full_repos/permissive/205055389/vlib/coke.v:247: Unsupported or unknown PLI call: $tkg$recv\n  always #10 BILLACK = $tkg$recv("%m.BILLACK");\n                       ^~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/205055389/vlib/coke.v:247: Unsupported: Ignoring delay on this delayed statement.\n  always #10 BILLACK = $tkg$recv("%m.BILLACK");\n         ^\n%Error: Exiting due to 35 error(s), 35 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module main;
wire w6;
wire w7;
wire w16;
wire [7:0] w14;
wire [2:0] w19;
wire w15;
wire w4;
wire w3;
wire [5:0] w0;
wire w21;
wire w24;
wire w23;
wire [2:0] w20;
wire [5:0] w1;
wire w25;
wire [2:0] w18;
wire w8;
wire w22;
wire w17;
wire [5:0] w12;
wire w11;
wire w2;
wire w10;
wire [5:0] w13;
wire w5;
wire w9;
wire w26;


  cokemachine g0 (.INSACK(w11), .RETINS(w10), .CHGCOM(w9), .BILLOUT(w8), .BILLLT(w7), .BILLIN(w6), .NOCHG(w5), .CHGN(w4), .CHGD(w3), .CHGQ(w2), .ELIGHT(w1), .DISP(w0), .DISPACK(w26), .CHGACK(w25), .BILLACK(w24), .CNRET(w23), .BILLOK(w22), .BILLSNS(w21), .NUMN(w20), .NUMD(w19), .NUMQ(w18), .INSN(w17), .INSD(w16), .INSQ(w15), .COST(w14), .EMPTY(w13), .PRESS(w12));

endmodule
module main;

wire w6;
wire w7;
wire w16;
wire [7:0] w14;
wire [2:0] w19;
wire w15;
wire w4;
wire w3;
wire [5:0] w0;
wire w21;
wire w24;
wire w23;
wire [2:0] w20;
wire [5:0] w1;
wire w25;
wire [2:0] w18;
wire w8;
wire w22;
wire w17;
wire [5:0] w12;
wire w11;
wire w2;
wire w10;
wire [5:0] w13;
wire w5;
wire w9;
wire w26;


  cokemachine g0 (.INSACK(w11), .RETINS(w10), .CHGCOM(w9), .BILLOUT(w8), .BILLLT(w7), .BILLIN(w6), .NOCHG(w5), .CHGN(w4), .CHGD(w3), .CHGQ(w2), .ELIGHT(w1), .DISP(w0), .DISPACK(w26), .CHGACK(w25), .BILLACK(w24), .CNRET(w23), .BILLOK(w22), .BILLSNS(w21), .NUMN(w20), .NUMD(w19), .NUMQ(w18), .INSN(w17), .INSD(w16), .INSQ(w15), .COST(w14), .EMPTY(w13), .PRESS(w12));

endmodule