Merge pull request #2139 from GaloisInc/1363-multiple-t-options

sauclovian-g · web-flow · commit c414366fe263 · 2024-11-01T21:44:28.000-04:00
Remove the short option -t for --detect-vacuity
diff --git a/src/SAWScript/Options.hs b/src/SAWScript/Options.hs
@@ -114,7 +114,7 @@ options =
      "path"
     )
     pathDesc
-  , Option "t" ["detect-vacuity"]
+  , Option "" ["detect-vacuity"]
     (NoArg
      (\opts -> return opts { detectVacuity = True }))
     "Checks and warns the user about contradictory assumptions. (default: false)"

Original file line number	Diff line number	Diff line change
`@@ -114,7 +114,7 @@ options =`
`114`	`114`	`"path"`
`115`	`115`	`)`
`116`	`116`	`pathDesc`
`117`		`- , Option "t" ["detect-vacuity"]`
	`117`	`+ , Option "" ["detect-vacuity"]`
`118`	`118`	`(NoArg`
`119`	`119`	`(\opts -> return opts { detectVacuity = True }))`
`120`	`120`	`"Checks and warns the user about contradictory assumptions. (default: false)"`