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

#!/usr/bin/env tesh

$ ${bindir:=.}/centralized_mutex ${platfdir:=.}/model_checker_platform.xml