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


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


02:25:12 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp-2024
02:25:12 [INFO ] GitInfo.CreateGitInfo - Git commit ID: 17eeec33cbc9c310519b08551b317469f878ce8c
02:25:12 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
02:25:12 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRIC_LEARNING: FULL
02:25:12 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/benchexec/tools-pldi24/dartagnan/output/main-opt.ll
02:25:12 [INFO ] Dartagnan.main - CAT file path: cat/svcomp.cat
Exception in thread "main" java.lang.IllegalArgumentException: Illegal malloc. Size must be positive
	at com.google.common.base.Preconditions.checkArgument(Preconditions.java:143)
	at com.dat3m.dartagnan.program.memory.Memory.allocate(Memory.java:20)
	at com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm.visitGlobalDeclaration(VisitorLlvm.java:244)
	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)
