Feature #23
Better error message for incorrect regexps in bad states
Status: | Closed | Start date: | 07/06/2010 | |
---|---|---|---|---|
Priority: | Normal | Due date: | ||
Assignee: | Tristan Le Gall | % Done: | 100% |
|
Category: | - | |||
Target version: | 1.0 |
Description
On the following SCM example:
scm Foo : nb_channels = 3 ; parameters : real a ; automaton A : initial : 0 state 0 : bad_states: (automaton A: in 0: true with a.#.a)
We get :
$ mcscm.native -debug foo.scm MCSCM - Model Checker for Systems of Communicating Machines Parsing input SCM description... done. Computing global SCM by cartesian product of local systems... done. Checking consistency of global SCM... done. Building SCM wrapper module (with control flow automaton)...Fatal error: exception Failure("")
The problem comes from the regular expression: there are 3 channels, hence we should have two # markers.
It would be nice two have an explicit error message.
History
Updated by Tristan Le Gall over 6 years ago
- Status changed from New to Closed
- % Done changed from 0 to 100
Bug solved
Updated by Grégoire Sutre almost 6 years ago
- Target version set to 1.0