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


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


14:20:33 [INFO ] Compilation.compileWithClang - Compiling with clang
14:20:34 [INFO ] Compilation.compileWithSmack - Compiling with smack
14:20:39 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp
14:20:39 [INFO ] GitInfo.CreateGitInfo - Git commit ID: d54f8e1624095bb050a87db313b239cadadd9f19
14:20:39 [INFO ] GlobalSettings.LogGlobalSettings - ARCH_PRECISION: -1
14:20:39 [INFO ] GlobalSettings.LogGlobalSettings - ATOMIC_AS_LOCK: false
14:20:39 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
14:20:39 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRY_LEARNING: FULL
14:20:39 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/benchexec/tools-pldi/dartagnan/output/main.bpl
14:20:39 [INFO ] Dartagnan.main - CAT file path: cat/svcomp.cat
14:20:40 [INFO ] VisitorBoogie.visitLine_comment - SMACK version: 2.8.0 
Exception in thread "main" com.dat3m.dartagnan.exception.ParsingException: setlocale cannot be handled
	at com.dat3m.dartagnan.parsers.program.visitors.boogie.VisitorBoogie.visitProc_decl(VisitorBoogie.java:255)
	at com.dat3m.dartagnan.parsers.program.visitors.boogie.VisitorBoogie.visitCall_cmd(VisitorBoogie.java:384)
	at com.dat3m.dartagnan.parsers.BoogieParser$Call_cmdContext.accept(BoogieParser.java:2752)
	at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
	at com.dat3m.dartagnan.parsers.BoogieBaseVisitor.visitLabel_or_cmd(BoogieBaseVisitor.java:177)
	at com.dat3m.dartagnan.parsers.BoogieParser$Label_or_cmdContext.accept(BoogieParser.java:2129)
	at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
	at com.dat3m.dartagnan.parsers.program.visitors.boogie.VisitorBoogie.visitProc_decl(VisitorBoogie.java:281)
	at com.dat3m.dartagnan.parsers.program.visitors.boogie.VisitorBoogie.visitMain(VisitorBoogie.java:131)
	at com.dat3m.dartagnan.parsers.BoogieParser$MainContext.accept(BoogieParser.java:235)
	at com.dat3m.dartagnan.parsers.program.ParserBoogie.parse(ParserBoogie.java:26)
	at com.dat3m.dartagnan.parsers.program.ProgramParser.parse(ProgramParser.java:35)
	at com.dat3m.dartagnan.Dartagnan.main(Dartagnan.java:97)
