model-checker : new tesh for snapshot comparison tests

[simgrid.git] / examples / msg / mc / test / deploy_snapshot_comparison.xml

<?xml version='1.0'?>
<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
<platform version="3">
  <process host="HostA" function="test"/>
</platform>