From ae283aa99237ffcbdf2460b73a10850fa45c0c1c Mon Sep 17 00:00:00 2001 From: Hernan Ponce de Leon Date: Sat, 5 Dec 2020 14:38:45 +0100 Subject: [PATCH] Improved options documentation --- .../com/dat3m/dartagnan/utils/options/DartagnanOptions.java | 2 +- .../src/main/java/com/dat3m/svcomp/options/SVCOMPOptions.java | 2 +- 2 files changed, 2 insertions(+), 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 index 851f5993e7..91cd16deb0 100644 --- 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 index 7f7ac6f370..e2853e0b20 100644 --- 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"));