Quiet mode disabled
[0.000000000000:ASSIGN] Assign cpal_system new value: Scheduling_Policy.FIFO
[0.000000000000:PRINTLN] global c_gvi in init function: 5
[0.000000000000:PRINTLN] local iv in init function: 6.000000
[0.000000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[0.000000000000:STATE] process "def1", instance "p1", state "A"
[0.000000000000:PRINTLN] local v in state A: 0
[0.000000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[0.100000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[0.100000000000:PRINTLN] local v in transition from A to B: 0
[0.100000000000:STATE] process "def1", instance "p1", state "B"
[0.100000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[0.200000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[0.200000000000:STATE] process "def1", instance "p1", state "A"
[0.200000000000:PRINTLN] local v in state A: 2
[0.200000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[0.300000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[0.300000000000:PRINTLN] local v in transition from A to B: 0
[0.300000000000:STATE] process "def1", instance "p1", state "B"
[0.300000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[0.400000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[0.400000000000:STATE] process "def1", instance "p1", state "A"
[0.400000000000:PRINTLN] local v in state A: 4
[0.400000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[0.500000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[0.500000000000:PRINTLN] local v in transition from A to B: 0
[0.500000000000:STATE] process "def1", instance "p1", state "B"
[0.500000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[0.600000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[0.600000000000:STATE] process "def1", instance "p1", state "A"
[0.600000000000:PRINTLN] local v in state A: 6
[0.600000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[0.700000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[0.700000000000:PRINTLN] local v in transition from A to B: 0
[0.700000000000:STATE] process "def1", instance "p1", state "B"
[0.700000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[0.800000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[0.800000000000:STATE] process "def1", instance "p1", state "A"
[0.800000000000:PRINTLN] local v in state A: 8
[0.800000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[0.900000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[0.900000000000:PRINTLN] local v in transition from A to B: 0
[0.900000000000:STATE] process "def1", instance "p1", state "B"
[0.900000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[1.000000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[1.000000000000:STATE] process "def1", instance "p1", state "A"
[1.000000000000:PRINTLN] local v in state A: 10
[1.000000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[1.100000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[1.100000000000:PRINTLN] local v in transition from A to B: 0
[1.100000000000:STATE] process "def1", instance "p1", state "B"
[1.100000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[1.200000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[1.200000000000:STATE] process "def1", instance "p1", state "A"
[1.200000000000:PRINTLN] local v in state A: 12
[1.200000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[1.300000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[1.300000000000:PRINTLN] local v in transition from A to B: 0
[1.300000000000:STATE] process "def1", instance "p1", state "B"
[1.300000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[1.400000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[1.400000000000:STATE] process "def1", instance "p1", state "A"
[1.400000000000:PRINTLN] local v in state A: 14
[1.400000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[1.500000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[1.500000000000:PRINTLN] local v in transition from A to B: 0
[1.500000000000:STATE] process "def1", instance "p1", state "B"
[1.500000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[1.600000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[1.600000000000:STATE] process "def1", instance "p1", state "A"
[1.600000000000:PRINTLN] local v in state A: 16
[1.600000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[1.700000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[1.700000000000:PRINTLN] local v in transition from A to B: 0
[1.700000000000:STATE] process "def1", instance "p1", state "B"
[1.700000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[1.800000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[1.800000000000:STATE] process "def1", instance "p1", state "A"
[1.800000000000:PRINTLN] local v in state A: 18
[1.800000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[1.900000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[1.900000000000:PRINTLN] local v in transition from A to B: 0
[1.900000000000:STATE] process "def1", instance "p1", state "B"
[1.900000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[2.000000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[2.000000000000:STATE] process "def1", instance "p1", state "A"
[2.000000000000:PRINTLN] local v in state A: 20
[2.000000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[2.100000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[2.100000000000:PRINTLN] local v in transition from A to B: 0
[2.100000000000:STATE] process "def1", instance "p1", state "B"
[2.100000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[2.200000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[2.200000000000:STATE] process "def1", instance "p1", state "A"
[2.200000000000:PRINTLN] local v in state A: 22
[2.200000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[2.300000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[2.300000000000:PRINTLN] local v in transition from A to B: 0
[2.300000000000:STATE] process "def1", instance "p1", state "B"
[2.300000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[2.400000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[2.400000000000:STATE] process "def1", instance "p1", state "A"
[2.400000000000:PRINTLN] local v in state A: 24
[2.400000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[2.500000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[2.500000000000:PRINTLN] local v in transition from A to B: 0
[2.500000000000:STATE] process "def1", instance "p1", state "B"
[2.500000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[2.600000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[2.600000000000:STATE] process "def1", instance "p1", state "A"
[2.600000000000:PRINTLN] local v in state A: 26
[2.600000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[2.700000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[2.700000000000:PRINTLN] local v in transition from A to B: 0
[2.700000000000:STATE] process "def1", instance "p1", state "B"
[2.700000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[2.800000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[2.800000000000:STATE] process "def1", instance "p1", state "A"
[2.800000000000:PRINTLN] local v in state A: 28
[2.800000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[2.900000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[2.900000000000:PRINTLN] local v in transition from A to B: 0
[2.900000000000:STATE] process "def1", instance "p1", state "B"
[2.900000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
[3.000000000000:tut-varDeclaration:STARTING_TASK] 'p1'
[3.000000000000:STATE] process "def1", instance "p1", state "A"
[3.000000000000:PRINTLN] local v in state A: 30
[3.000000000000:tut-varDeclaration:TASK_FINISHED] 'p1'
EXIT (SUCCESS) AT 3s (3000000000000)