let verify_arg_spec () =
(("\nMain Options:", Arg.Unit (fun () -> ()), "") :: (Main.verify_arg_spec ()))
@ (("\nSCM Wrapper Options:", Arg.Unit (fun () -> ()), "") :: (ScmWrapper.arg_spec ()))
@ (("\nCegar Options:", Arg.Unit (fun () -> ()), "") :: (Cegar.arg_spec ()))
@ (("\nLazy Abstraction Options:", Arg.Unit (fun () -> ()), "") :: (LazyAbstraction.arg_spec ()))
@ (("\nAPInv Options:", Arg.Unit (fun () -> ()), "") :: (APInv.arg_spec ()))
@ (("\nStatic Analyzer Options:", Arg.Unit (fun () -> ()), "") :: (StaticAnalyzer.arg_spec ()))
@ (("\nLogging Options:", Arg.Unit (fun () -> ()), "") :: (Logging.arg_spec ()))
@ (("\nMiscellaneous Options:", Arg.Unit (fun () -> ()), "") :: (Miscellaneous.arg_spec ()))
Loading...