Svcomp witness file must be named witness.graphml (new rule)

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Nov 11, 2023 · ee67c01 · ee67c01
1 parent ebe38ef
commit ee67c01
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/witness/WitnessGraph.java b/dartagnan/src/main/java/com/dat3m/dartagnan/witness/WitnessGraph.java
@@ -136,8 +136,7 @@ private static BooleanFormula equalsParsedValue(Formula operand, String value, F
 	}
 
 	public void write() {
-		try (FileWriter fw = new FileWriter(String.format("%s/%s.graphml",
-				getOrCreateOutputDirectory(), Files.getNameWithoutExtension(getProgram())))) {
+		try (FileWriter fw = new FileWriter(String.format("%s/witness.graphml", getOrCreateOutputDirectory()))) {
 			fw.write("<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n");
 			fw.write("<graphml xmlns=\"http://graphml.graphdrawing.org/xmlns\" xmlns:xsi=\"http://www.w3.org/2001/XMLSchema-instance\">\n");
 			for (GraphAttributes attr : GraphAttributes.values()) {