State graphs exported by the Generator have errors

nl-utwente-groove / code

GROOVE code base

https://groove.cs.utwente.nl

5 stars 0 forks source link

State graphs exported by the Generator have errors #396

Closed rensink closed 8 months ago

rensink commented 11 years ago

If you tell the Generator to export the result states using the '-f', the resulting GXL files contain format errors and cannot be opened in the Simulator.

See, for instance, the attached file, obtained in the way described above. The error: "Can't parse prefix 'jint'".

Reported by: zambon

rensink commented 11 years ago

status: open --> closed-fixed
assigned_to: Arend Rensink

Original comment by: rensink