> [ 0.000000] (0:@) Configuration change: Set 'model-check' to '1'
> [ 0.000000] (0:@) type in variable = 2
> [ 0.000000] (0:@) Check the liveness property promela
> [ 0.000000] (0:@) Configuration change: Set 'model-check' to '1'
> [ 0.000000] (0:@) type in variable = 2
> [ 0.000000] (0:@) Check the liveness property promela