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


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


02:24:43 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp-2024
02:24:43 [INFO ] GitInfo.CreateGitInfo - Git commit ID: 17eeec33cbc9c310519b08551b317469f878ce8c
02:24:43 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
02:24:43 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRIC_LEARNING: FULL
02:24:43 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/benchexec/tools-pldi24/dartagnan/output/main-opt.ll
02:24:43 [INFO ] Dartagnan.main - CAT file path: cat/svcomp.cat
Exception in thread "main" java.lang.UnsupportedOperationException: Unsupported type in double.
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.checkSupport(VisitorLlvm.java:1323)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.parseType(VisitorLlvm.java:1141)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.visitArrayType(VisitorLlvm.java:1081)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.visitArrayType(VisitorLlvm.java:39)
	at com.dat3m.dartagnan.parsers.LLVMIRParser$ArrayTypeContext.accept(LLVMIRParser.java:9734)
	at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
	at com.dat3m.dartagnan.parsers.LLVMIRBaseVisitor.visitType(LLVMIRBaseVisitor.java:623)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.visitType(VisitorLlvm.java:1114)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.visitType(VisitorLlvm.java:39)
	at com.dat3m.dartagnan.parsers.LLVMIRParser$TypeContext.accept(LLVMIRParser.java:7695)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.parseType(VisitorLlvm.java:1139)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.visitStructType(VisitorLlvm.java:1073)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.visitStructType(VisitorLlvm.java:39)
	at com.dat3m.dartagnan.parsers.LLVMIRParser$StructTypeContext.accept(LLVMIRParser.java:9790)
	at org.antlr.v4.runtime.tree.AbstractParseTreeVisitor.visitChildren(AbstractParseTreeVisitor.java:46)
	at com.dat3m.dartagnan.parsers.LLVMIRBaseVisitor.visitType(LLVMIRBaseVisitor.java:623)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.visitType(VisitorLlvm.java:1114)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.visitType(VisitorLlvm.java:39)
	at com.dat3m.dartagnan.parsers.LLVMIRParser$TypeContext.accept(LLVMIRParser.java:7695)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.parseType(VisitorLlvm.java:1139)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.visitGlobalDeclaration(VisitorLlvm.java:243)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.visitCompilationUnit(VisitorLlvm.java:96)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.visitCompilationUnit(VisitorLlvm.java:39)
	at com.dat3m.dartagnan.parsers.LLVMIRParser$CompilationUnitContext.accept(LLVMIRParser.java:535)
	at com.dat3m.dartagnan.parsers.program.ParserLlvm.parse(ParserLlvm.java:22)
	at com.dat3m.dartagnan.parsers.program.ProgramParser.parse(ProgramParser.java:35)
	at com.dat3m.dartagnan.Dartagnan.main(Dartagnan.java:105)
