Code review comment for lp:~tapaal-contributor/tapaal/engine-option-matrix-dev

Jiri Srba (srba) wrote :

Please, remove the debugging information like:

4
UPPAAL: Optimized Broadcast Reduction
UPPAAL: Optimised Standard Reduction
4
UPPAAL: Standard Reduction
4
UPPAAL: Broadcast Reduction
4
UPPAAL: Broadcast Degree 2 Reduction
4
...

review: Needs Fixing

« Back to merge proposal