In file main.c:

int main

(int argc, const char** argv)

Main function.

Documentation

Main function.

It performs the model checking of HL formula according to following procedure:

  1. read the XML file containing the HL model
  2. parse the HL formula from stdin
  3. init data structures
  4. run the MC procedure (Full or Lite)
  5. print the results on stdout

Alphabetic index



This page was generated with the help of DOC++.