Log in / Register
TAPAAL
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #868151
Comment #3
Comment 3 for bug 868151
Revision history for this message
Jiri Srba (srba)
wrote
on 2011-10-08
:
#3
The UPPAAL optimized translation completely fails on this model too!
The UPPAAL optimized translation completely fails on this model too!
The UPPAAL optimized translation completely fails on this model too!