Feature #44
Merge estimates/control into trunk
Status: | Closed | Start date: | 04/08/2011 | |
---|---|---|---|---|
Priority: | Normal | Due date: | 05/31/2011 | |
Assignee: | Tristan Le Gall | % Done: | 100% |
|
Category: | - | |||
Target version: | 1.1 |
Description
Merge the estimates/control implementation with the changes made afterwards for the 1.0 release.
History
Updated by Grégoire Sutre almost 6 years ago
- Due date set to 05/31/2011
- Status changed from New to In Progress
- Start date set to 04/08/2011
- % Done changed from 0 to 20
I completed the merge of the 1.0 branch into the trunk. But some cleanup is in order:
- either use a different binary for control (i.e. a different module in
src/ui
), - or extend the model-checker interface to account for control functionality.
Right now, we get:
./bin/mcscm.native -mc-engine control examples/scm/Forte_running_example.scm -simulation-mode auto McScM 1.1+dev1 - Model Checker for Systems of Communicating Machines ... Average size of the estimates 61.1 Result: Aborted: End of Simulation. Result verification: aborted.
which can be confusing for the end-user.
Updated by Tristan Le Gall over 5 years ago
- Assignee changed from Grégoire Sutre to Tristan Le Gall
Updated by Grégoire Sutre over 5 years ago
- Status changed from In Progress to Closed
- % Done changed from 20 to 100