> [ 0.000000] (0:@) Check the liveness property promela
> [ 0.000000] (1:test@HostA) **** Start test ****
> [ 0.000000] (1:test@HostA) Malloc after first snapshot
> [ 0.000000] (0:@) Check the liveness property promela
> [ 0.000000] (1:test@HostA) **** Start test ****
> [ 0.000000] (1:test@HostA) Malloc after first snapshot