File: mc-centralized-mutex.tesh

package info (click to toggle)
simgrid 4.0-1
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 38,980 kB
  • sloc: cpp: 123,583; ansic: 66,779; python: 8,358; java: 6,406; fortran: 6,079; f90: 5,123; xml: 4,587; sh: 2,337; perl: 1,436; makefile: 105; lisp: 49; javascript: 7; sed: 6
file content (6 lines) | stat: -rw-r--r-- 584 bytes parent folder | download 
1
2
3
4
5
6
 
#!/usr/bin/env tesh

$ $VALGRIND_NO_TRACE_CHILDREN ${bindir:=.}/bin/simgrid-mc --cfg=model-check/no-fork:1 ${pythoncmd:=python3} ${PYTHON_TOOL_OPTIONS:=} ${srcdir:=.}/mc-centralized-mutex.py ${platfdir:=.}/small_platform.xml --log=python.t:critical "--log=root.fmt:[%5.2r]%e[%11P]%e%m%n"
> [ 0.00] [    maestro] Configuration change: Set 'model-check/no-fork' to '1'
> [ 0.00] [    maestro] Start a DFS exploration. Reduction is: dpor.
> [ 0.00] [    maestro] DFS exploration ended. 498 unique states visited; 14 explored traces (1795 transition replays, 2293 states visited overall)