search

symphonytool / symphony

The Symphony IDE
5 stars 4 forks source link

Fault tolerance verification plugin showing incorrect results #241

Closed andredidier closed 10 years ago

andredidier commented 10 years ago

The CML code produced by the plugin has an incompatible grammar.

andredidier commented 10 years ago

Documents D24.2 and D33.3 (a and b) may not reflect current code generation. These documents will be updated later.