- System.out.println("-aggressivesearch");
- System.out.println("-prunequantifiernodes");
- System.out.println("-cplusplus");
- System.out.println("-time");
+ System.out.println("-aggressivesearch -- search for one repair per constraint");
+ System.out.println("-prunequantifiernodes -- prune nodes that satisfy constraint by decreasing scope");
+ System.out.println("-cplusplus -- properly set up c++ classes");
+ System.out.println("-time -- generate timing code");
+ System.out.println("-omitcomp -- omit compensation updates");
+ System.out.println("-mergenodes -- omit nodes for simpler role dependence graphs");
+ System.out.println("-debuggraph -- add edge labels and support to debug graph");
+ System.out.println("-rejectlengthchanges -- reject all updates which change the length of an array");
+