Accept llvm files as input (#500)

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Aug 18, 2023 · 859a3f9 · 859a3f9
1 parent 027b402
commit 859a3f9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/ProgramParser.java b/dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/ProgramParser.java
@@ -44,13 +44,14 @@ private boolean needsClang(File f) {
     }
 
     private boolean needsSmack(File f) {
-        return needsClang(f);
+        return needsClang(f) || f.getPath().endsWith(".ll");
     }
 
     public Program parse(String raw, String path, String format, String cflags) throws Exception {
         switch (format) {
         	case "c":
         	case "i":
+        	case "ll":
 				File parsedFile = path.isEmpty() ?
 						// This is for the case where the user fully typed the program instead of loading it
 						File.createTempFile("dat3m", ".c") :