Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove obsolete examples
[simgrid.git] / examples / msg / mc / test / deploy_snapshot_comparison.xml
diff --git a/examples/msg/mc/test/deploy_snapshot_comparison.xml b/examples/msg/mc/test/deploy_snapshot_comparison.xml
deleted file mode 100644 (file)
index 70067b5..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-<?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
-<platform version="3">
-  <process host="HostA" function="test"/>
-</platform>
\ No newline at end of file