It runs with estetelv592.linux




------------------- TRACE ------------------
[alessandro@localhost vendingmachine]$ ./compile.sh 
[alessandro@localhost vendingmachine]$ ./VendingMachine 
VendingMachine> !trace all;
--- State: 1 of 3
--- Halts: 0
--- Awaited: nickel dime
VendingMachine> nickel,dime;
--- Output: 
--- Local: credit(15) 
--- Trap: 
--- Source Variables:
V3 = 15  (source variable VendingMachine.Accumulator.lcredit)
--- Signal Variables:
V2 = 15  (value of signal credit)
--- Counters:
--- State: 2 of 3
--- Halts: 2
halt 1: line: 12, column: 3 of file: "Accumulator.strl" (Accumulator#1)
halt 2: line: 10, column: 2 of file: "Dispatcher.strl" (Dispatcher#2)
--- Awaited: nickel dime
VendingMachine> ;
--- Output: gum 
--- Local: credit(0) 
--- Trap: 
--- Source Variables:
V3 = 0  (source variable VendingMachine.Accumulator.lcredit)
--- Signal Variables:
V2 = 0  (value of signal credit)
--- Counters:
--- State: 2 of 3
--- Halts: 2
halt 1: line: 12, column: 3 of file: "Accumulator.strl" (Accumulator#1)
halt 2: line: 10, column: 2 of file: "Dispatcher.strl" (Dispatcher#2)
--- Awaited: nickel dime
VendingMachine>