[mc] enable model-check/record by default, and cosmetics

[simgrid.git] / examples / deprecated / msg / mc / centralized_mutex.tesh

#!/usr/bin/env tesh

$ ${bindir:=.}/centralized_mutex