Feature #44

Merge estimates/control into trunk

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

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

Also available in: Atom PDF