; 18649 Spring 2010
; group 7
; Justin Ray/justinr2
; other names would go here

run:
Simulator Parameters:
Command line = -cf sd1b.cf -mf sd1b.mf -rt 1s
RandomSeed = 1265835768190
CanNetworkBitTime = 0 ns
Effective Can Bitrate = Infinity
Run Time = 1.0s
Real time rate = null
Message File = sd1b.mf
Controller File = sd1b.cf


[Elevator] @0.000000000: Starting Simulation ***
[VendControl] @0.050000000: Executing IDLE
[CoinControl] @0.100000000: Executing state IDLE
[CoinControl] @0.100000000: CoinCount=0
[CoinControl] @0.100000000: CoinOut=false
[VendControl] @0.100000000: Executing IDLE
[VendControl] @0.150000000: Executing IDLE
[VendControl] @0.200000000: Executing IDLE
[CoinControl] @0.200000000: Executing state IDLE
[CoinControl] @0.200000000: CoinCount=0
[CoinControl] @0.200000000: CoinOut=false
[VendControl] @0.250000000: Executing IDLE
[CoinControl] @0.300000000: Executing state IDLE
[CoinControl] @0.300000000: CoinCount=0
[CoinControl] @0.300000000: CoinOut=false
[VendControl] @0.300000000: Executing IDLE
[VendControl] @0.350000000: Executing IDLE
[VendControl] @0.400000000: Executing IDLE
[CoinControl] @0.400000000: Executing state IDLE
[CoinControl] @0.400000000: CoinCount=0
[CoinControl] @0.400000000: CoinOut=false
[VendControl] @0.450000000: Executing IDLE
[CoinControl] @0.500000000: Executing state IDLE
[CoinControl] @0.500000000: CoinCount=0
[CoinControl] @0.500000000: CoinOut=false
[VendControl] @0.500000000: Executing IDLE
[VendControl] @0.550000000: Executing IDLE
[CoinControl] @0.600000000: Executing state IDLE
[CoinControl] @0.600000000: CoinCount=0
[CoinControl] @0.600000000: CoinOut=false
[VendControl] @0.600000000: Executing IDLE
[VendControl] @0.650000000: Executing IDLE
[CoinControl] @0.700000000: Executing state IDLE
[CoinControl] @0.700000000: CoinCount=0
[CoinControl] @0.700000000: CoinOut=false
[VendControl] @0.700000000: Executing IDLE
[VendControl] @0.750000000: Executing IDLE
[CoinControl] @0.800000000: Executing state IDLE
[CoinControl] @0.800000000: CoinCount=0
[CoinControl] @0.800000000: CoinOut=false
[VendControl] @0.800000000: Executing IDLE
[VendControl] @0.850000000: Executing IDLE
[VendControl] @0.900000000: Executing IDLE
[CoinControl] @0.900000000: Executing state IDLE
[CoinControl] @0.900000000: CoinCount=0
[CoinControl] @0.900000000: CoinOut=false
[VendControl] @0.950000000: Executing IDLE
[CoinControl] @1.000000000: Executing state IDLE
[CoinControl] @1.000000000: CoinCount=0
[CoinControl] @1.000000000: CoinOut=false
[VendControl] @1.000000000: Executing IDLE
[VendControl] @1.050000000: Executing IDLE
[VendControl] @1.100000000: Executing IDLE
[CoinControl] @1.100000000: Executing state IDLE
[CoinControl] @1.100000000: T3.1
[CoinControl] @1.100000000: CoinCount=0
[CoinControl] @1.100000000: CoinOut=false
[CoinControl] @1.100000000: Transition from IDLE --> COIN_IN_1
[VendControl] @1.150000000: Executing IDLE
[VendControl] @1.200000000: Executing IDLE
[CoinControl] @1.200000000: Executing state COIN_IN_1
[CoinControl] @1.200000000: T3.2
[CoinControl] @1.200000000: CoinCount=1
[CoinControl] @1.200000000: CoinOut=false
[CoinControl] @1.200000000: Transition from COIN_IN_1 --> COIN_IN_2
[VendControl] @1.250000000: Executing IDLE
[CoinControl] @1.300000000: Executing state COIN_IN_2
[CoinControl] @1.300000000: T3.3
[CoinControl] @1.300000000: CoinCount=1
[CoinControl] @1.300000000: CoinOut=false
[CoinControl] @1.300000000: Transition from COIN_IN_2 --> IDLE
[VendControl] @1.300000000: Executing IDLE
[VendControl] @1.350000000: Executing IDLE
[VendControl] @1.400000000: Executing IDLE
[CoinControl] @1.400000000: Executing state IDLE
[CoinControl] @1.400000000: CoinCount=1
[CoinControl] @1.400000000: CoinOut=false
[VendControl] @1.450000000: Executing IDLE
[VendControl] @1.500000000: Executing IDLE
[CoinControl] @1.500000000: Executing state IDLE
[CoinControl] @1.500000000: CoinCount=1
[CoinControl] @1.500000000: CoinOut=false
[VendControl] @1.550000000: Executing IDLE
[CoinControl] @1.600000000: Executing state IDLE
[CoinControl] @1.600000000: T3.1
[CoinControl] @1.600000000: CoinCount=1
[CoinControl] @1.600000000: CoinOut=false
[CoinControl] @1.600000000: Transition from IDLE --> COIN_IN_1
[VendControl] @1.600000000: Executing IDLE
[VendControl] @1.650000000: Executing IDLE
[CoinControl] @1.700000000: Executing state COIN_IN_1
[CoinControl] @1.700000000: T3.2
[CoinControl] @1.700000000: CoinCount=2
[CoinControl] @1.700000000: CoinOut=false
[CoinControl] @1.700000000: Transition from COIN_IN_1 --> COIN_IN_2
[VendControl] @1.700000000: Executing IDLE
[VendControl] @1.750000000: Executing IDLE
[CoinControl] @1.800000000: Executing state COIN_IN_2
[CoinControl] @1.800000000: CoinCount=2
[CoinControl] @1.800000000: CoinOut=false
[VendControl] @1.800000000: Executing IDLE
[AssertionMonitor] @1.810000000: *******************************************************************
[AssertionMonitor] @1.810000000: PASSED ID=a583c00; Payload=CoinCount=2 :: getCoinCount ?== 2 PASSED
[AssertionMonitor] @1.810000000: *******************************************************************
[VendControl] @1.850000000: Executing IDLE
[VendControl] @1.900000000: Executing IDLE
[CoinControl] @1.900000000: Executing state COIN_IN_2
[CoinControl] @1.900000000: CoinCount=2
[CoinControl] @1.900000000: CoinOut=false
[VendControl] @1.950000000: Executing IDLE
[CoinControl] @2.000000000: Executing state COIN_IN_2
[CoinControl] @2.000000000: CoinCount=2
[CoinControl] @2.000000000: CoinOut=false
[VendControl] @2.000000000: Executing IDLE
[VendControl] @2.050000000: Executing IDLE
[VendControl] @2.100000000: Executing IDLE
[CoinControl] @2.100000000: Executing state COIN_IN_2
[CoinControl] @2.100000000: T3.3
[CoinControl] @2.100000000: CoinCount=2
[CoinControl] @2.100000000: CoinOut=false
[CoinControl] @2.100000000: Transition from COIN_IN_2 --> IDLE
[VendControl] @2.150000000: Executing IDLE
[VendControl] @2.200000000: Executing IDLE
[CoinControl] @2.200000000: Executing state IDLE
[CoinControl] @2.200000000: CoinCount=2
[CoinControl] @2.200000000: CoinOut=false
[VendControl] @2.250000000: Executing IDLE
[VendControl] @2.300000000: Executing IDLE
[CoinControl] @2.300000000: Executing state IDLE
[CoinControl] @2.300000000: CoinCount=2
[CoinControl] @2.300000000: CoinOut=false
[VendControl] @2.350000000: Executing IDLE
[CoinControl] @2.400000000: Executing state IDLE
[CoinControl] @2.400000000: CoinCount=2
[CoinControl] @2.400000000: CoinOut=false
[VendControl] @2.400000000: Executing IDLE
[VendControl] @2.450000000: Executing IDLE
[CoinControl] @2.500000000: Executing state IDLE
[CoinControl] @2.500000000: CoinCount=2
[CoinControl] @2.500000000: CoinOut=false
[VendControl] @2.500000000: Executing IDLE
[VendControl] @2.550000000: Executing IDLE
[CoinControl] @2.600000000: Executing state IDLE
[CoinControl] @2.600000000: CoinCount=2
[CoinControl] @2.600000000: CoinOut=false
[VendControl] @2.600000000: Executing IDLE
[VendControl] @2.650000000: Executing IDLE
[VendControl] @2.700000000: Executing IDLE
[CoinControl] @2.700000000: Executing state IDLE
[CoinControl] @2.700000000: CoinCount=2
[CoinControl] @2.700000000: CoinOut=false
[VendControl] @2.750000000: Executing IDLE
[VendControl] @2.800000000: Executing IDLE
[CoinControl] @2.800000000: Executing state IDLE
[CoinControl] @2.800000000: CoinCount=2
[CoinControl] @2.800000000: CoinOut=false
[VendControl] @2.850000000: Executing IDLE
[CoinControl] @2.900000000: Executing state IDLE
[CoinControl] @2.900000000: CoinCount=2
[CoinControl] @2.900000000: CoinOut=false
[VendControl] @2.900000000: Executing IDLE
[VendControl] @2.950000000: Executing IDLE
[CoinControl] @3.000000000: Executing state IDLE
[CoinControl] @3.000000000: CoinCount=2
[CoinControl] @3.000000000: CoinOut=false
[VendControl] @3.000000000: Executing IDLE
[VendControl] @3.050000000: Executing IDLE
[VendControl] @3.100000000: Executing IDLE
[CoinControl] @3.100000000: Executing state IDLE
[CoinControl] @3.100000000: T3.1
[CoinControl] @3.100000000: CoinCount=2
[CoinControl] @3.100000000: CoinOut=false
[CoinControl] @3.100000000: Transition from IDLE --> COIN_IN_1
[VendControl] @3.150000000: Executing IDLE
[VendControl] @3.200000000: Executing IDLE
[CoinControl] @3.200000000: Executing state COIN_IN_1
[CoinControl] @3.200000000: T3.2
[CoinControl] @3.200000000: CoinCount=3
[CoinControl] @3.200000000: CoinOut=false
[CoinControl] @3.200000000: Transition from COIN_IN_1 --> COIN_IN_2
[VendControl] @3.250000000: Executing IDLE
[CoinControl] @3.300000000: Executing state COIN_IN_2
[CoinControl] @3.300000000: CoinCount=3
[CoinControl] @3.300000000: CoinOut=false
[VendControl] @3.300000000: Executing IDLE
[AssertionMonitor] @3.310000000: *******************************************************************
[AssertionMonitor] @3.310000000: PASSED ID=a583c00; Payload=CoinCount=3 :: getCoinCount ?== 3 PASSED
[AssertionMonitor] @3.310000000: *******************************************************************
[VendControl] @3.350000000: Executing IDLE
[VendControl] @3.400000000: Executing IDLE
[CoinControl] @3.400000000: Executing state COIN_IN_2
[CoinControl] @3.400000000: CoinCount=3
[CoinControl] @3.400000000: CoinOut=false
[VendControl] @3.450000000: Executing IDLE
[VendControl] @3.500000000: Executing IDLE
[CoinControl] @3.500000000: Executing state COIN_IN_2
[CoinControl] @3.500000000: CoinCount=3
[CoinControl] @3.500000000: CoinOut=false
[VendControl] @3.550000000: Executing IDLE
[VendControl] @3.600000000: Executing IDLE
[CoinControl] @3.600000000: Executing state COIN_IN_2
[CoinControl] @3.600000000: T3.3
[CoinControl] @3.600000000: CoinCount=3
[CoinControl] @3.600000000: CoinOut=false
[CoinControl] @3.600000000: Transition from COIN_IN_2 --> IDLE
[VendControl] @3.650000000: Executing IDLE
[VendControl] @3.700000000: Executing IDLE
[CoinControl] @3.700000000: Executing state IDLE
[CoinControl] @3.700000000: T3.4
[CoinControl] @3.700000000: CoinCount=3
[CoinControl] @3.700000000: CoinOut=false
[CoinControl] @3.700000000: Transition from IDLE --> OVERPAY
[VendControl] @3.750000000: Executing IDLE
[CoinControl] @3.800000000: Executing state OVERPAY
[CoinControl] @3.800000000: T3.12
[CoinControl] @3.800000000: CoinCount=2
[CoinControl] @3.800000000: CoinOut=true
[CoinControl] @3.800000000: Transition from OVERPAY --> OVERPAY_STRETCH
[VendControl] @3.800000000: Executing IDLE
[VendControl] @3.850000000: Executing IDLE
[CoinControl] @3.900000000: Executing state OVERPAY_STRETCH
[CoinControl] @3.900000000: T3.5
[CoinControl] @3.900000000: CoinCount=2
[CoinControl] @3.900000000: CoinOut=true
[CoinControl] @3.900000000: Transition from OVERPAY_STRETCH --> IDLE
[VendControl] @3.900000000: Executing IDLE
[VendControl] @3.950000000: Executing IDLE
[VendControl] @4.000000000: Executing IDLE
[CoinControl] @4.000000000: Executing state IDLE
[CoinControl] @4.000000000: CoinCount=2
[CoinControl] @4.000000000: CoinOut=false
[AssertionMonitor] @4.010000000: ******************************************************
[AssertionMonitor] @4.010000000: PASSED CoinOutPayload(false) :: value ?== false PASSED
[AssertionMonitor] @4.010000000: ******************************************************
[VendControl] @4.050000000: Executing IDLE
[CoinControl] @4.100000000: Executing state IDLE
[CoinControl] @4.100000000: CoinCount=2
[CoinControl] @4.100000000: CoinOut=false
[VendControl] @4.100000000: Executing IDLE
[VendControl] @4.150000000: Executing IDLE
[CoinControl] @4.200000000: Executing state IDLE
[CoinControl] @4.200000000: CoinCount=2
[CoinControl] @4.200000000: CoinOut=false
[VendControl] @4.200000000: Executing IDLE
[AssertionMonitor] @4.210000000: *******************************************************************
[AssertionMonitor] @4.210000000: PASSED ID=a583c00; Payload=CoinCount=2 :: getCoinCount ?== 2 PASSED
[AssertionMonitor] @4.210000000: *******************************************************************
[VendControl] @4.250000000: Executing IDLE
[CoinControl] @4.300000000: Executing state IDLE
[CoinControl] @4.300000000: CoinCount=2
[CoinControl] @4.300000000: CoinOut=false
[VendControl] @4.300000000: Executing IDLE
[VendControl] @4.350000000: Executing IDLE
[CoinControl] @4.400000000: Executing state IDLE
[CoinControl] @4.400000000: CoinCount=2
[CoinControl] @4.400000000: CoinOut=false
[VendControl] @4.400000000: Executing IDLE
[VendControl] @4.450000000: Executing IDLE
[CoinControl] @4.500000000: Executing state IDLE
[CoinControl] @4.500000000: CoinCount=2
[CoinControl] @4.500000000: CoinOut=false
[VendControl] @4.500000000: Executing IDLE
[VendControl] @4.550000000: Executing IDLE
[CoinControl] @4.600000000: Executing state IDLE
[CoinControl] @4.600000000: CoinCount=2
[CoinControl] @4.600000000: CoinOut=false
[VendControl] @4.600000000: Executing IDLE
[VendControl] @4.650000000: Executing IDLE
[VendControl] @4.700000000: Executing IDLE
[CoinControl] @4.700000000: Executing state IDLE
[CoinControl] @4.700000000: CoinCount=2
[CoinControl] @4.700000000: CoinOut=false
[VendControl] @4.750000000: Executing IDLE
[VendControl] @4.800000000: Executing IDLE
[CoinControl] @4.800000000: Executing state IDLE
[CoinControl] @4.800000000: CoinCount=2
[CoinControl] @4.800000000: CoinOut=false
[VendControl] @4.850000000: Executing IDLE
[CoinControl] @4.900000000: Executing state IDLE
[CoinControl] @4.900000000: CoinCount=2
[CoinControl] @4.900000000: CoinOut=false
[VendControl] @4.900000000: Executing IDLE
[VendControl] @4.950000000: Executing IDLE
[VendControl] @5.000000000: Executing IDLE
[CoinControl] @5.000000000: Executing state IDLE
[CoinControl] @5.000000000: CoinCount=2
[CoinControl] @5.000000000: CoinOut=false
[VendControl] @5.050000000: Executing IDLE
[VendControl] @5.100000000: Executing IDLE
[CoinControl] @5.100000000: Executing state IDLE
[CoinControl] @5.100000000: CoinCount=2
[CoinControl] @5.100000000: CoinOut=false
[VendControl] @5.150000000: Executing IDLE
[VendControl] @5.200000000: Executing IDLE
[CoinControl] @5.200000000: Executing state IDLE
[CoinControl] @5.200000000: CoinCount=2
[CoinControl] @5.200000000: CoinOut=false
[Elevator] @5.200000000: Simulation Finished ***
******************Summary******************
Passed:  4
Failed:  0
Total :  4

BUILD SUCCESSFUL (total time: 0 seconds)