Improved options documentation

hernanponcedeleon · Dec 5, 2020 · ae283aa · ae283aa
1 parent ba25bb1
commit ae283aa
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/utils/options/DartagnanOptions.java b/dartagnan/src/main/java/com/dat3m/dartagnan/utils/options/DartagnanOptions.java
@@ -32,7 +32,7 @@ public DartagnanOptions(){
         		"Use an incremental solver"));
 
         addOption(new Option("w", "witness", true,
-                "Creates a violation witness. The argument is the original *.c file from which the Boogie code was generated."));
+                "Creates a machine readable witness. The argument is the original *.c file from which the Boogie code was generated."));
 
         addOption(new Option("analysis", true,
         		"The analysis to be performed: reachability (default), data-race detection, termination"));

diff --git a/svcomp/src/main/java/com/dat3m/svcomp/options/SVCOMPOptions.java b/svcomp/src/main/java/com/dat3m/svcomp/options/SVCOMPOptions.java
@@ -40,7 +40,7 @@ public SVCOMPOptions(){
         		"Use an incremental solver"));
 
         addOption(new Option("w", "witness", false,
-                "Creates a violation witness"));
+                "Creates a machine readable witness"));
 
         addOption(new Option("o", "optimization", true,
                 "Optimization flag for LLVM compiler"));