Feature #19
Have a single executable
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