; 18649 Spring 2010
; group 7 
; Justin Ray/justinr2
; other names go here
; sd1a.mf


;CAN ID's for controller messages (used in assertions)
#DEFINE COIN_COUNT_CAN_ID 0x0A583C00

;periods for physical inputs
#DEFINE COIN_IN_PER 50ms

;set input initial value
0.0s I COIN_IN_PER F CoinIn = false

;****verify precondition
0.2s A N COIN_COUNT_CAN_ID CoinCount : getCoinCount == 0

;#arc '1A/1a'
;#arc '1A/1b'
1.0s I COIN_IN_PER F CoinIn = true

;#arc '1A/1c'
1.2s I COIN_IN_PER F CoinIn = false

;#arc '1A/1d'
1.5s A N COIN_COUNT_CAN_ID CoinCount : getCoinCount == 1