search

mosser / gcoke

Automatically exported from code.google.com/p/gcoke
GNU Lesser General Public License v3.0
0 stars 0 forks source link

bug in the invariant violation term #6

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
What steps will reproduce the problem?

throw an invariant error on a given graph.

What is the expected output? What do you see instead?

the obtained output (see below) is not right. gcoke_contraint_error should not 
be displayer (invariant instead).

gCoKe exception: Constraint violation
 Artefact: graph invalid
 Details:
   - gcoke_constraint_error
   - automata:recognition_path
   - invariant

Original issue reported on code.google.com by sebastien.mosser on 21 Jan 2011 at 1:56

GoogleCodeExporter commented 8 years ago 
fixed in revision #19

Original comment by sebastien.mosser on 27 Jan 2011 at 2:20