search

symphonytool / symphony

The Symphony IDE
5 stars 4 forks source link

Interpreter: Unable to new classes with invariants associated #218

Closed lausdahl closed 10 years ago

lausdahl commented 10 years ago

The GM-06 project cannot be interpreted and crashes the interpreter with an exception.

lausdahl commented 10 years ago

The problem is a missing access specifier on inv definitions.