Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
refrain from testing HOL-Proofs for x86_64-linux: takes more than 4h;
authorwenzelm
Mon, 13 Jul 2015 11:05:50 +0200
changeset 60713 5240b2ed5189
parent 60712 3ba16d28449d
child 60714 ff8aa76d6d1c
refrain from testing HOL-Proofs for x86_64-linux: takes more than 4h; tuned parameters;
Admin/isatest/isatest-makeall file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-poly file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-makeall	Sun Jul 12 13:04:42 2015 +0200
+++ b/Admin/isatest/isatest-makeall	Mon Jul 13 11:05:50 2015 +0200
@@ -90,7 +90,7 @@
         BUILD_ARGS="-o timeout=72000 $BUILD_ARGS"
         ;;
       *)
-        BUILD_ARGS="-o timeout=14400 $BUILD_ARGS"
+        BUILD_ARGS="-o timeout=10800 $BUILD_ARGS"
         ;;
     esac
 
--- a/Admin/isatest/settings/at64-poly	Sun Jul 12 13:04:42 2015 +0200
+++ b/Admin/isatest/settings/at64-poly	Mon Jul 13 11:05:50 2015 +0200
@@ -4,7 +4,7 @@
 
 ML_PLATFORM="$ISABELLE_PLATFORM64"
 ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-ML_OPTIONS="--minheap 4000 --maxheap 16000 --gcthreads 1"
+ML_OPTIONS="--minheap 2000 --maxheap 8000 --gcthreads 4"
 
 ISABELLE_HOME_USER=~/isabelle-at64-poly
 
@@ -22,5 +22,4 @@
 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
-ISABELLE_BUILD_OPTIONS="threads=1"
-
+ISABELLE_BUILD_OPTIONS="threads=1 -x HOL-Proofs"
isabelle