Feature #19

Have a single executable

Added by Grégoire Sutre over 6 years ago. Updated almost 6 years ago.

Status:Closed Start date:07/02/2010
Priority:Normal Due date:
Assignee:Grégoire Sutre % Done:

100%

Category:-
Target version:1.0 Estimated time:1.00 hour

Description

Using ocaml 3.12 first-class modules, replace the current one-executable-per-model-checking-engine with a single executable and a --engine option.

History

Updated by Grégoire Sutre over 6 years ago

  • Status changed from New to In Progress

Updated by Grégoire Sutre over 6 years ago

  • Status changed from In Progress to Closed
  • % Done changed from 0 to 100

Option named -mc-engine (in case we have several kinds of engine in the future).

Updated by Grégoire Sutre almost 6 years ago

  • Target version set to 1.0

Also available in: Atom PDF