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

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


[Elevator] @0.000000000: Starting Simulation ***
[VendControl] @0.050000000: Executing IDLE
[VendControl] @0.100000000: Executing IDLE
[CoinControl] @0.100000000: Executing state IDLE
[CoinControl] @0.100000000: CoinCount=0
[CoinControl] @0.100000000: CoinOut=false
[VendControl] @0.150000000: Executing IDLE
[CoinControl] @0.200000000: Executing state IDLE
[CoinControl] @0.200000000: CoinCount=0
[CoinControl] @0.200000000: CoinOut=false
[VendControl] @0.200000000: Executing IDLE
[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
[VendControl] @0.800000000: Executing IDLE
[CoinControl] @0.800000000: Executing state IDLE
[CoinControl] @0.800000000: CoinCount=0
[CoinControl] @0.800000000: CoinOut=false
[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
[VendControl] @1.000000000: Executing IDLE
[CoinControl] @1.000000000: Executing state IDLE
[CoinControl] @1.000000000: CoinCount=0
[CoinControl] @1.000000000: CoinOut=false
[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
[VendControl] @1.300000000: 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.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: T3.3
[CoinControl] @1.800000000: CoinCount=2
[CoinControl] @1.800000000: CoinOut=false
[CoinControl] @1.800000000: Transition from COIN_IN_2 --> IDLE
[VendControl] @1.800000000: Executing IDLE
[VendControl] @1.850000000: Executing IDLE
[VendControl] @1.900000000: Executing IDLE
[CoinControl] @1.900000000: Executing state IDLE
[CoinControl] @1.900000000: CoinCount=2
[CoinControl] @1.900000000: CoinOut=false
[VendControl] @1.950000000: Executing IDLE
[AssertionMonitor] @2.000000000: *******************************************************************
[AssertionMonitor] @2.000000000: PASSED ID=a583c00; Payload=CoinCount=2 :: getCoinCount ?== 2 PASSED
[AssertionMonitor] @2.000000000: *******************************************************************
[CoinControl] @2.000000000: Executing state IDLE
[CoinControl] @2.000000000: CoinCount=2
[CoinControl] @2.000000000: CoinOut=false
[VendControl] @2.000000000: Executing IDLE
[VendControl] @2.050000000: Executing IDLE
[CoinControl] @2.100000000: Executing state IDLE
[CoinControl] @2.100000000: CoinCount=2
[CoinControl] @2.100000000: CoinOut=false
[VendControl] @2.100000000: Executing 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
[VendControl] @2.500000000: Executing IDLE
[CoinControl] @2.500000000: Executing state IDLE
[CoinControl] @2.500000000: CoinCount=2
[CoinControl] @2.500000000: CoinOut=false
[VendControl] @2.550000000: Executing IDLE
[VendControl] @2.600000000: Executing IDLE
[CoinControl] @2.600000000: Executing state IDLE
[CoinControl] @2.600000000: CoinCount=2
[CoinControl] @2.600000000: CoinOut=false
[VendControl] @2.650000000: Executing IDLE
[CoinControl] @2.700000000: Executing state IDLE
[CoinControl] @2.700000000: CoinCount=2
[CoinControl] @2.700000000: CoinOut=false
[VendControl] @2.700000000: Executing IDLE
[VendControl] @2.750000000: Executing IDLE
[CoinControl] @2.800000000: Executing state IDLE
[CoinControl] @2.800000000: CoinCount=2
[CoinControl] @2.800000000: CoinOut=false
[VendControl] @2.800000000: Executing IDLE
[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
[CoinControl] @3.100000000: Executing state IDLE
[CoinControl] @3.100000000: T3.6
[CoinControl] @3.100000000: CoinCount=2
[CoinControl] @3.100000000: CoinOut=false
[CoinControl] @3.100000000: Transition from IDLE --> RETURN_1
[VendControl] @3.100000000: Executing IDLE
[VendControl] @3.150000000: Executing IDLE
[VendControl] @3.200000000: Executing IDLE
[CoinControl] @3.200000000: Executing state RETURN_1
[CoinControl] @3.200000000: T3.7
[CoinControl] @3.200000000: CoinCount=1
[CoinControl] @3.200000000: CoinOut=true
[CoinControl] @3.200000000: Transition from RETURN_1 --> RETURN_STRETCH
[VendControl] @3.250000000: Executing IDLE
[VendControl] @3.300000000: Executing IDLE
[CoinControl] @3.300000000: Executing state RETURN_STRETCH
[CoinControl] @3.300000000: T3.13
[CoinControl] @3.300000000: CoinCount=1
[CoinControl] @3.300000000: CoinOut=true
[CoinControl] @3.300000000: Transition from RETURN_STRETCH --> RETURN_2
[VendControl] @3.350000000: Executing IDLE
[CoinControl] @3.400000000: Executing state RETURN_2
[CoinControl] @3.400000000: T3.9
[CoinControl] @3.400000000: CoinCount=1
[CoinControl] @3.400000000: CoinOut=false
[CoinControl] @3.400000000: Transition from RETURN_2 --> RETURN_1
[VendControl] @3.400000000: Executing IDLE
[VendControl] @3.450000000: Executing IDLE
[VendControl] @3.500000000: Executing IDLE
[CoinControl] @3.500000000: Executing state RETURN_1
[CoinControl] @3.500000000: T3.7
[CoinControl] @3.500000000: CoinCount=0
[CoinControl] @3.500000000: CoinOut=true
[CoinControl] @3.500000000: Transition from RETURN_1 --> RETURN_STRETCH
[VendControl] @3.550000000: Executing IDLE
[VendControl] @3.600000000: Executing IDLE
[CoinControl] @3.600000000: Executing state RETURN_STRETCH
[CoinControl] @3.600000000: T3.13
[CoinControl] @3.600000000: CoinCount=0
[CoinControl] @3.600000000: CoinOut=true
[CoinControl] @3.600000000: Transition from RETURN_STRETCH --> RETURN_2
[VendControl] @3.650000000: Executing IDLE
[VendControl] @3.700000000: Executing IDLE
[CoinControl] @3.700000000: Executing state RETURN_2
[CoinControl] @3.700000000: T3.8
[CoinControl] @3.700000000: CoinCount=0
[CoinControl] @3.700000000: CoinOut=false
[CoinControl] @3.700000000: Transition from RETURN_2 --> IDLE
[VendControl] @3.750000000: Executing IDLE
[CoinControl] @3.800000000: Executing state IDLE
[CoinControl] @3.800000000: CoinCount=0
[CoinControl] @3.800000000: CoinOut=false
[VendControl] @3.800000000: Executing IDLE
[AssertionMonitor] @3.810000000: ******************************************************
[AssertionMonitor] @3.810000000: PASSED CoinOutPayload(false) :: value ?== false PASSED
[AssertionMonitor] @3.810000000: ******************************************************
[AssertionMonitor] @3.810000000: *******************************************************************
[AssertionMonitor] @3.810000000: PASSED ID=a583c00; Payload=CoinCount=0 :: getCoinCount ?== 0 PASSED
[AssertionMonitor] @3.810000000: *******************************************************************
[VendControl] @3.850000000: Executing IDLE
[CoinControl] @3.900000000: Executing state IDLE
[CoinControl] @3.900000000: CoinCount=0
[CoinControl] @3.900000000: CoinOut=false
[VendControl] @3.900000000: Executing IDLE
[VendControl] @3.950000000: Executing IDLE
[CoinControl] @4.000000000: Executing state IDLE
[CoinControl] @4.000000000: CoinCount=0
[CoinControl] @4.000000000: CoinOut=false
[VendControl] @4.000000000: Executing IDLE
[VendControl] @4.050000000: Executing IDLE
[CoinControl] @4.100000000: Executing state IDLE
[CoinControl] @4.100000000: CoinCount=0
[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=0
[CoinControl] @4.200000000: CoinOut=false
[VendControl] @4.200000000: Executing IDLE
[VendControl] @4.250000000: Executing IDLE
[CoinControl] @4.300000000: Executing state IDLE
[CoinControl] @4.300000000: CoinCount=0
[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=0
[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=0
[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=0
[CoinControl] @4.600000000: CoinOut=false
[VendControl] @4.600000000: Executing IDLE
[VendControl] @4.650000000: Executing IDLE
[CoinControl] @4.700000000: Executing state IDLE
[CoinControl] @4.700000000: CoinCount=0
[CoinControl] @4.700000000: CoinOut=false
[VendControl] @4.700000000: Executing IDLE
[VendControl] @4.750000000: Executing IDLE
[CoinControl] @4.800000000: Executing state IDLE
[CoinControl] @4.800000000: CoinCount=0
[CoinControl] @4.800000000: CoinOut=false
[VendControl] @4.800000000: Executing IDLE
[Elevator] @4.800000000: Simulation Finished ***
******************Summary******************
Passed:  3
Failed:  0
Total :  3