From c18bb43ac45f42a11fd7b69ace93243b26b6dd71 Mon Sep 17 00:00:00 2001 From: Hernan Ponce de Leon Date: Wed, 18 Sep 2024 20:23:42 +0800 Subject: [PATCH] Pass the C file to the svcomp runner rather than the optimized llvm Signed-off-by: Hernan Ponce de Leon --- svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java b/svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java index d0b468497a..bd9df60438 100644 --- a/svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java +++ b/svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java @@ -117,18 +117,13 @@ public static void main(String[] args) throws Exception { File file; String output = "UNKNOWN"; while(output.equals("UNKNOWN")) { - file = compileWithClang(fileProgram, ""); - file = applyLlvmPasses(file); - - String llvmName = System.getenv().get("DAT3M_HOME") + "/output/" + Files.getNameWithoutExtension(programPath) + "-opt.ll"; - ArrayList cmd = new ArrayList<>(); cmd.add("java"); cmd.add("-Dlog4j.configurationFile=" + System.getenv().get("DAT3M_HOME") + "/dartagnan/src/main/resources/log4j2.xml"); cmd.add("-DLOGNAME=" + Files.getNameWithoutExtension(programPath)); cmd.addAll(Arrays.asList("-jar", System.getenv().get("DAT3M_HOME") + "/dartagnan/target/dartagnan.jar")); cmd.add(fileModel.toString()); - cmd.add(llvmName); + cmd.add(programPath); cmd.add(String.format("--%s=%s", PROPERTY, r.property.asStringOption())); cmd.add(String.format("--%s=%s", BOUND, bound)); cmd.add(String.format("--%s=%s", WITNESS, GRAPHML.asStringOption()));