← Back to branch summary

~ubuntu-branches/ubuntu/raring/simgrid/raring

« back to all changes in this revision

Viewing changes to examples/msg/mc/test/snapshot_comparison2.tesh

  • Committer: Package Import Robot
  • Author(s): Martin Quinson
  • Date: 2013-01-31 00:24:51 UTC
  • mfrom: (10.1.6 sid)
  • Revision ID: package-import@ubuntu.com-20130131002451-krejhf7w7h24lpsc
Tags: 3.9~rc1-1
* New upstream release: the "Grasgory" release. Major changes:
  - Gras was completely removed from this version.
  - Documentation reorganization to ease browsing it.
  - New default value for the TCP_gamma parameter: 4MiB

Show diffs side-by-side

added added

removed removed

Lines of Context:
examples/msg/mc/test/snapshot_comparison2.tesh
 
1
#! ./tesh
 
2
 
 
3
! expect signal SIGABRT
 
4
! timeout 200
 
5
$ ${bindir:=.}/snapshot_comparison2 --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
 
6
> [  0.000000] (0:@) Configuration change: Set 'model-check' to '1'
 
7
> [  0.000000] (0:@) Check the liveness property promela
 
8
> [  0.000000] (1:test@HostA) **** Start test ****
 
9
> [  0.000000] (1:test@HostA) Malloc after first snapshot
 
10
> [  0.000000] (1:test@HostA) First snapshot
 
11
> [  0.000000] (1:test@HostA) Toto allocated
 
12
> [  0.000000] (1:test@HostA) Second snapshot
 
13
> [  0.000000] (1:test@HostA) Test result : 1 (0 = state equality, 1 = different states)
 
14
> [  0.000000] (1:test@HostA) **** End test ****