diff options
Diffstat (limited to '')
| -rw-r--r-- | comparison/Inpla/main.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/comparison/Inpla/main.sh b/comparison/Inpla/main.sh index fbf11c4..f7935fb 100644 --- a/comparison/Inpla/main.sh +++ b/comparison/Inpla/main.sh @@ -13,7 +13,7 @@ bash ./sptestInpla.sh src/isort-40000.in bash ./sptestInpla.sh src/isort-40000-reuse.in bash ./sptestInpla.sh src/qsort-800000.in -bash ./sptestInpla.sh src/qsort-800000-reuse.in +bash ./sptestInpla.sh src/qsort-800000-reuse.in '-Xms 18 -Xmt 0' bash ./sptestInpla.sh src/msort-800000.in -bash ./sptestInpla.sh src/msort-800000-reuse.in +bash ./sptestInpla.sh src/msort-800000-reuse.in '-Xms 18 -Xmt 0' |