← Back to branch summary

~tapaal-contributor/tapaal/notes-hides-namelabels-1848947

« back to all changes in this revision

Viewing changes to run-tapaal-j7.sh

  • Committer: Jiri Srba
  • Date: 2018-05-11 16:28:01 UTC
  • mto: This revision was merged to the branch mainline in revision 961.
  • Revision ID: srba@cs.aau.dk-20180511162801-y1pkjccox018oea7
updated run file with extra heap space

Show diffs side-by-side

added added

removed removed

Lines of Context:
run-tapaal-j7.sh
1
1
#!/bin/sh
2
2
 
3
 
(cd release-version; java -cp .:* TAPAAL)
 
3
(cd release-version; java -Xmx6144M -cp .:* TAPAAL)