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


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


16:57:05 [INFO ] Compilation.compileWithClang - Compiling with clang
16:57:05 [INFO ] Compilation.compileWithSmack - Compiling with smack
16:57:08 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp
16:57:08 [INFO ] GitInfo.CreateGitInfo - Git commit ID: d54f8e1624095bb050a87db313b239cadadd9f19
16:57:08 [INFO ] GlobalSettings.LogGlobalSettings - ARCH_PRECISION: -1
16:57:08 [INFO ] GlobalSettings.LogGlobalSettings - ATOMIC_AS_LOCK: false
16:57:08 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
16:57:08 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRY_LEARNING: FULL
16:57:08 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/benchexec/tools-pldi/dartagnan/output/main.bpl
16:57:08 [INFO ] Dartagnan.main - CAT file path: cat/svcomp.cat
16:57:11 [INFO ] VisitorBoogie.visitLine_comment - SMACK version: 2.8.0 
Exception in thread "main" java.lang.NumberFormatException: For input string: "$i0"
	at java.base/java.lang.NumberFormatException.forInputString(NumberFormatException.java:67)
	at java.base/java.lang.Integer.parseInt(Integer.java:654)
	at java.base/java.lang.Integer.parseInt(Integer.java:786)
	at com.dat3m.dartagnan.parsers.program.visitors.boogie.StdProcedures.alloc(StdProcedures.java:117)
	at com.dat3m.dartagnan.parsers.program.visitors.boogie.StdProcedures.handleStdFunction(StdProcedures.java:48)
	at com.dat3m.dartagnan.parsers.program.visitors.boogie.VisitorBoogie.visitCall_cmd(VisitorBoogie.java:349)
	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.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.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)
