./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


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


13:32:37 [INFO ] Compilation.compileWithClang - Compiling with clang
13:32:37 [INFO ] Compilation.compileWithSmack - Compiling with smack
13:32:39 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp
13:32:39 [INFO ] GitInfo.CreateGitInfo - Git commit ID: d54f8e1624095bb050a87db313b239cadadd9f19
13:32:39 [INFO ] GlobalSettings.LogGlobalSettings - ARCH_PRECISION: -1
13:32:39 [INFO ] GlobalSettings.LogGlobalSettings - ATOMIC_AS_LOCK: false
13:32:39 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
13:32:39 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRY_LEARNING: FULL
13:32:39 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/benchexec/tools-pldi/dartagnan/output/main.bpl
13:32:39 [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.exprs(BoogieParser.java:3946)
	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)
	at com.dat3m.dartagnan.parsers.program.ProgramParser.parse(ProgramParser.java:35)
	at com.dat3m.dartagnan.Dartagnan.main(Dartagnan.java:97)
