renamed no-int(erval32)-context comments in parallel-run.sh

Author: vogler

parallel-run.sh

@@ -24,8 +24,8 @@ trap finish EXIT
 # --set ana.activated \"['base','mallocWrapper']\"; defaults: "['expRelation','base','threadid','threadflag','escape','mutex', 'mallocWrapper']"
 opts="--enable exp.earlyglobs --enable ana.int.interval --disable ana.int.enums --disable ana.int.def_exc --disable ana.context.widen --set ana.base.privatization none\
   --disable solvers.td3.space_restore"
-# --enable exp.no-interval32-context # needed for wget b/c of mergesort
-# --enable exp.no-int-context # needed for '400.perlbench_comb.c 482.sphinx_livepretend_comb.c duff-0.5_comb.c maradns-1.4.06_comb.c'. Only '445.gobmk_comb.c' does not terminate.
+# --disable ana.base.context.interval # needed for wget b/c of mergesort
+# --disable ana.base.context.int # needed for '400.perlbench_comb.c 482.sphinx_livepretend_comb.c duff-0.5_comb.c maradns-1.4.06_comb.c'. Only '445.gobmk_comb.c' does not terminate.
 # --enable ana.opt.hashcons # no(t much) difference in runtime or max res. size for wget. TODO try rest
 # cmd="(date && $time -v ./goblint $opt --set solver topdown --set comparesolver topdown_term {1} 2>&1) > out/{1}.cmp.log"
 # parallel --noswap --memfree 2G --load 100% --eta --joblog out/jobs.log --tmux --dryrun $cmd ::: single-thread/*.c