Feature #23

Better error message for incorrect regexps in bad states

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

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

Also available in: Atom PDF