diff --git a/ttooldaniela.exe b/ttooldaniela.exe new file mode 100755 index 0000000000000000000000000000000000000000..940eb9cb2791f0e955ecb785dea17a903cb538ca --- /dev/null +++ b/ttooldaniela.exe @@ -0,0 +1,7 @@ +#!/bin/sh + +java -version +cd bin; +java -Xmx1024m -jar ttool.jar -config config.xml -experimental -debug -avatar -uppaal -launcher + +