Commit 3b4ce088 authored by Adéla Štěpková's avatar Adéla Štěpková
Browse files

update help message

parent 64b321f9

main.cpp

+2 −2
Original line number Diff line number Diff line
@@ -39,7 +39,7 @@ int main(int argc, char** argv) 


    cl::opt<bool> svComp("sv-comp",

                         cl::desc("set sv comp settings (all optimizations, standardize functions, "

                                  "silent), overrides other settings"),

                                  "silent)"),

                         cl::init(false), cl::cat(ReverserCategory));



    cl::opt<bool> emitBitcode("bc",
@@ -48,7 +48,7 @@ int main(int argc, char** argv) 


    cl::opt<bool> noCustomSimplify("no-custom-opt",

                                   cl::desc("do not run custom optimization (backward "

                                            "constant propagation, load/store optimization)"),

                                            "constant propagation, assume propagation)"),

                                   cl::init(false), cl::cat(ReverserCategory));



    cl::opt<bool> noStdFunc("no-std-func",