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


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


08:32:57 [INFO ] Compilation.compileWithClang - Compiling with clang
08:32:58 [INFO ] Compilation.compileWithSmack - Compiling with smack
08:33:03 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp
08:33:03 [INFO ] GitInfo.CreateGitInfo - Git commit ID: d54f8e1624095bb050a87db313b239cadadd9f19
08:33:03 [INFO ] GlobalSettings.LogGlobalSettings - ARCH_PRECISION: -1
08:33:03 [INFO ] GlobalSettings.LogGlobalSettings - ATOMIC_AS_LOCK: false
08:33:03 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
08:33:03 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRY_LEARNING: FULL
08:33:03 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/benchexec/tools-pldi/dartagnan/output/main.bpl
08:33:03 [INFO ] Dartagnan.main - CAT file path: cat/svcomp.cat
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at org.antlr.v4.runtime.CommonTokenFactory.create(CommonTokenFactory.java:70)
	at org.antlr.v4.runtime.CommonTokenFactory.create(CommonTokenFactory.java:16)
	at org.antlr.v4.runtime.Lexer.emit(Lexer.java:245)
	at org.antlr.v4.runtime.Lexer.nextToken(Lexer.java:156)
	at org.antlr.v4.runtime.BufferedTokenStream.fetch(BufferedTokenStream.java:169)
	at org.antlr.v4.runtime.BufferedTokenStream.sync(BufferedTokenStream.java:152)
	at org.antlr.v4.runtime.BufferedTokenStream.consume(BufferedTokenStream.java:136)
	at org.antlr.v4.runtime.Parser.consume(Parser.java:571)
	at org.antlr.v4.runtime.Parser.match(Parser.java:203)
	at com.dat3m.dartagnan.parsers.BoogieParser.local_vars(BoogieParser.java:1788)
	at com.dat3m.dartagnan.parsers.BoogieParser.impl_body(BoogieParser.java:1603)
	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)
