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


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


08:32:57 [INFO ] Compilation.compileWithClang - Compiling with clang
08:32:57 [INFO ] Compilation.compileWithSmack - Compiling with smack
08:32:59 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp
08:32:59 [INFO ] GitInfo.CreateGitInfo - Git commit ID: d54f8e1624095bb050a87db313b239cadadd9f19
08:32:59 [INFO ] GlobalSettings.LogGlobalSettings - ARCH_PRECISION: -1
08:32:59 [INFO ] GlobalSettings.LogGlobalSettings - ATOMIC_AS_LOCK: false
08:32:59 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
08:32:59 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRY_LEARNING: FULL
08:32:59 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/benchexec/tools-pldi/dartagnan/output/main.bpl
08:32:59 [INFO ] Dartagnan.main - CAT file path: cat/svcomp.cat
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at com.dat3m.dartagnan.parsers.BoogieParser.coercion_expr(BoogieParser.java:5343)
	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)
	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.exprs(BoogieParser.java:3953)
	at com.dat3m.dartagnan.parsers.BoogieParser.def_body(BoogieParser.java:2587)
	at com.dat3m.dartagnan.parsers.BoogieParser.assign_cmd(BoogieParser.java:2541)
	at com.dat3m.dartagnan.parsers.BoogieParser.label_or_cmd(BoogieParser.java:2152)
	at com.dat3m.dartagnan.parsers.BoogieParser.stmt_list(BoogieParser.java:1691)
	at com.dat3m.dartagnan.parsers.BoogieParser.impl_body(BoogieParser.java:1611)
	at com.dat3m.dartagnan.parsers.BoogieParser.proc_decl(BoogieParser.java:897)
	at com.dat3m.dartagnan.parsers.BoogieParser.main(BoogieParser.java:288)
	at com.dat3m.dartagnan.parsers.program.ParserBoogie.parse(ParserBoogie.java:23)
