(Promela) Added automatic generation of inputs to MC, some fixes still needed.
Merge branch 'master' of https://github.com/orcc/orcc
(Promela) The scrips that are generated not run the model checker and parses the output from it to find if there is a schedule produced.
Merge branch 'master' of https://github.com/orcc/orcc
Merge branch 'master' of https://github.com/orcc/orcc
(Promela) Code to fetch the end state of a schedule
(Promela) Fixes
(Promela) Improved support for defining the scheduling state.