Skip to content
Snippets Groups Projects
Normal view Permalink
ttool.exe 148 B
Newer Older
Ludovic Apvrille's avatar
Update for easy use of TTool for "basic" users i.e. with an access to the svn in read-only mode
Ludovic Apvrille committed
1 
#!/bin/sh
Andrea Enrici's avatar
adding syntax analysis for CPs  
Andrea Enrici committed
2
Ludovic Apvrille's avatar
Update for easy use of TTool for "basic" users i.e. with an access to the svn in read-only mode
Ludovic Apvrille committed
3 
java -version
Andrea Enrici's avatar
adding syntax analysis for CPs  
Andrea Enrici committed
4 
cd bin;
Ludovic Apvrille's avatar
Adding CLI features  
Ludovic Apvrille committed
5 
java -cp . -Xmx1024m -jar ttool.jar -config config.xml -experimental -debug -avatar -uppaal -launcher -openlast
Ludovic Apvrille's avatar
Update for easy use of TTool for "basic" users i.e. with an access to the svn in read-only mode
Ludovic Apvrille committed
6 7