Ignore:
Timestamp:
Feb 7, 2012, 6:01:43 PM (9 years ago)
Author:
ayache
Message:

Frama-C plug-in (sources+documentation)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D5.1-5.3/cost-plug-in/wrapper/options.ml

    r1462 r1679  
    5656  "-prover", Arg.String set_prover,
    5757  " Select a prover for verification through why.";
     58  extra_doc " Needs the -verify option.";
    5859  extra_doc " [default is simplify]";
    5960
    6061  "-gui", Arg.Set gui_flag,
    6162  " Do not select a prover: run a graphical user interface instead.";
     63  extra_doc " Needs the -verify option.";
    6264
    6365  "-test", Arg.Set test_flag,
     
    6668  "-test-cases", Arg.Int set_test_cases,
    6769  " Number of test cases.";
     70  extra_doc " Needs the -test option.";
    6871  extra_doc " [default is 10]";
    6972
    7073  "-test-cycles", Arg.Int set_test_cycles,
    7174  " Number of cycles for each test case.";
     75  extra_doc " Needs the -test option.";
    7276  extra_doc " [default is 10]";
    7377
    7478  "-test-min-int", Arg.Int set_test_min_int,
    7579  " Random int minimum value.";
     80  extra_doc " Needs the -test option.";
    7681  extra_doc " [default is -1000]";
    7782
    7883  "-test-max-int", Arg.Int set_test_max_int,
    7984  " Random int maximum value.";
     85  extra_doc " Needs the -test option.";
    8086  extra_doc " [default is 1000]";
    8187]
Note: See TracChangeset for help on using the changeset viewer.