Command Line Interface (CLI) - xsafran1/pepmc2 GitHub Wiki

For simplification of using two merged tools we decide to create a CLI that hide differencies and facilitate user's accession.

###USING Because of fact that it is a command line tool you can call it like this:

./newbiodivine [-h, --help] [algorithm_name] [algorithm_parameters] [model_file] [property_file]

Where [algorithm_name] can be one of following:

  • owcty
  • distr_map
  • owcty_reversed
  • pepmc

The part [algorithm_parameters] is optional and can be arbitrary combination of following:

Common parameters for all of algorithms

  • -v, --version displays version of chosen algorithm
  • -h, --help displays help menu of chosen algorithm
  • -q, --quiet turns on quiet mode
  • -c, --statelist creates .ce_states file with counterexample
  • -t, --trail creates .trail file with counterexample
  • -r, --report creates .report file with process's information
  • -L, --log turns on protocolling
  • -H x, --htsize x sets the size of hash table as (if x < 33 then 2^x else x)
  • -X w sets the name of creating files to w (w.trail, w.report, w.ce_states, . . . )
  • -V displays additional information (verbose)

Special parameters for owcty algorithm

  • -C x, --compress x sets the state compression method (0 = none, 1 = Huffman)
  • -s, --simple switches to simple reachability only

Special parameters for owcty_reversed algorithm

  • -R, --remove removes transitions (very slow, less memory)
  • -s, --simple switches to simple reachability only

Special parameters for pepmc algorithm

The part [model_file] means path and name of model file with .bio extension. More about it is in section input model file.

The part [property_file] means path and name of property file with .ltl extension. More about it is section property file.

If you use CLI parameter [-h, --help] or put bad number of input parameters help menu will show with previous description.

###EXAMPLES

./newbiodivine -h

./newbiodivine owcty ../examples/model01.bio ../examples/prop01.ltl

./newbiodivine distr_map -t -V ../examples/model02.bio ../examples/prop02.ltl