./Dartagnan-SVCOMP.sh /mnt/goblint-svcomp/goblint-bench/the-continuous-race/properties/no-data-race.prp /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/level-ip/main.c


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


00:26:27 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp-2024
00:26:27 [INFO ] GitInfo.CreateGitInfo - Git commit ID: 17eeec33cbc9c310519b08551b317469f878ce8c
00:26:27 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
00:26:27 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRIC_LEARNING: FULL
00:26:27 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/tools/svcomp24/dartagnan/output/main-opt.ll
00:26:27 [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.visitFuncHeader(VisitorLlvm.java:132)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.visitCompilationUnit(VisitorLlvm.java:90)
	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)
