updating command line interface to be consistent across Docker and ma…

…in.go
Fault-lang · Feb 23, 2023 · 07317ca · 07317ca
1 parent 71dba4c
commit 07317ca
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/main.go b/main.go
@@ -202,10 +202,10 @@ func main() {
 	var input string
 	var filepath string
 	var reach bool
-	modeCommand := flag.String("mode", "check", "stop compiler at certain milestones: ast, ir, smt, or check")
-	inputCommand := flag.String("input", "fspec", "format of the input file (default: fspec)")
-	fpCommand := flag.String("filepath", "", "path to file to compile")
-	reachCommand := flag.String("complete", "false", "make sure the transitions to all defined states are specified in the model")
+	modeCommand := flag.String("m", "check", "stop compiler at certain milestones: ast, ir, smt, or check")
+	inputCommand := flag.String("i", "fspec", "format of the input file (default: fspec)")
+	fpCommand := flag.String("f", "", "path to file to compile")
+	reachCommand := flag.String("c", "false", "make sure the transitions to all defined states are specified in the model")
 
 	flag.Parse()