results for dekker-fences

[model-checker-benchmarks.git] / dekker-fences / dekker-fences-wildcard

diff --git a/dekker-fences/dekker-fences-wildcard b/dekker-fences/dekker-fences-wildcard
new file mode 100755 (executable)
index 0000000..18d2194
Binary files /dev/null and b/dekker-fences/dekker-fences-wildcard differ