./Dartagnan-SVCOMP.sh /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c


--------------------------------------------------------------------------------


13:43:05 [INFO ] Compilation.compileWithClang - Compiling with clang
13:43:05 [INFO ] Compilation.compileWithSmack - Compiling with smack
13:43:08 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp
13:43:08 [INFO ] GitInfo.CreateGitInfo - Git commit ID: d54f8e1624095bb050a87db313b239cadadd9f19
13:43:08 [INFO ] GlobalSettings.LogGlobalSettings - ARCH_PRECISION: -1
13:43:08 [INFO ] GlobalSettings.LogGlobalSettings - ATOMIC_AS_LOCK: false
13:43:08 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
13:43:08 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRY_LEARNING: FULL
13:43:08 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/benchexec/tools-pldi/dartagnan/output/main.bpl
13:43:08 [INFO ] Dartagnan.main - CAT file path: cat/svcomp.cat
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at java.base/java.util.ArrayList.grow(ArrayList.java:239)
	at java.base/java.util.ArrayList.grow(ArrayList.java:244)
	at java.base/java.util.ArrayList.add(ArrayList.java:454)
	at java.base/java.util.ArrayList.add(ArrayList.java:467)
	at org.antlr.v4.runtime.ParserRuleContext.addAnyChild(ParserRuleContext.java:134)
	at org.antlr.v4.runtime.ParserRuleContext.addChild(ParserRuleContext.java:139)
	at org.antlr.v4.runtime.Parser.addContextToParseTree(Parser.java:617)
	at org.antlr.v4.runtime.Parser.enterRule(Parser.java:629)
	at com.dat3m.dartagnan.parsers.BoogieParser.coercion_expr(BoogieParser.java:5344)
	at com.dat3m.dartagnan.parsers.BoogieParser.unary_expr(BoogieParser.java:5149)
	at com.dat3m.dartagnan.parsers.BoogieParser.power(BoogieParser.java:5051)
	at com.dat3m.dartagnan.parsers.BoogieParser.factor(BoogieParser.java:4912)
	at com.dat3m.dartagnan.parsers.BoogieParser.term(BoogieParser.java:4779)
	at com.dat3m.dartagnan.parsers.BoogieParser.bv_term(BoogieParser.java:4707)
	at com.dat3m.dartagnan.parsers.BoogieParser.rel_expr(BoogieParser.java:4541)
	at com.dat3m.dartagnan.parsers.BoogieParser.logical_expr(BoogieParser.java:4233)
	at com.dat3m.dartagnan.parsers.BoogieParser.implies_expr(BoogieParser.java:4139)
	at com.dat3m.dartagnan.parsers.BoogieParser.expr(BoogieParser.java:4065)
	at com.dat3m.dartagnan.parsers.BoogieParser.fun_expr(BoogieParser.java:5896)
	at com.dat3m.dartagnan.parsers.BoogieParser.atom_expr(BoogieParser.java:5648)
	at com.dat3m.dartagnan.parsers.BoogieParser.array_expr(BoogieParser.java:5460)
	at com.dat3m.dartagnan.parsers.BoogieParser.coercion_expr(BoogieParser.java:5350)
	at com.dat3m.dartagnan.parsers.BoogieParser.unary_expr(BoogieParser.java:5149)
	at com.dat3m.dartagnan.parsers.BoogieParser.power(BoogieParser.java:5051)
	at com.dat3m.dartagnan.parsers.BoogieParser.factor(BoogieParser.java:4912)
	at com.dat3m.dartagnan.parsers.BoogieParser.term(BoogieParser.java:4779)
	at com.dat3m.dartagnan.parsers.BoogieParser.bv_term(BoogieParser.java:4707)
	at com.dat3m.dartagnan.parsers.BoogieParser.rel_expr(BoogieParser.java:4541)
	at com.dat3m.dartagnan.parsers.BoogieParser.logical_expr(BoogieParser.java:4233)
	at com.dat3m.dartagnan.parsers.BoogieParser.implies_expr(BoogieParser.java:4139)
	at com.dat3m.dartagnan.parsers.BoogieParser.expr(BoogieParser.java:4065)
	at com.dat3m.dartagnan.parsers.BoogieParser.fun_expr(BoogieParser.java:5906)
