X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=main.cc;fp=main.cc;h=c93c5e92691edd07eb8824ddfad4dd887e1ce613;hp=127ffd160ff8df930d30500b1944ec2a9b107b00;hb=a2e32839cc2d45b6f8f559061ac4315acc628396;hpb=6a5a3a8f8ecddf4b3302039b6dbde915557b4234

diff --git a/main.cc b/main.cc
index 127ffd1..c93c5e9 100644
--- a/main.cc
+++ b/main.cc
@@ -141,9 +141,9 @@ static void parse_options(struct model_params *params, int argc, char **argv)
 		{"enabled", required_argument, NULL, 'e'},
 		{"bound", required_argument, NULL, 'b'},
 		{"verbose", optional_argument, NULL, 'v'},
-		{"uninitialized", optional_argument, NULL, 'u'},
-		{"analysis", optional_argument, NULL, 't'},
-		{"options", optional_argument, NULL, 'o'},
+		{"uninitialized", required_argument, NULL, 'u'},
+		{"analysis", required_argument, NULL, 't'},
+		{"options", required_argument, NULL, 'o'},
 		{"maxexecutions", required_argument, NULL, 'x'},
 		{0, 0, 0, 0} /* Terminator */
 	};