Jiri Srba

Assigned bugs


1 → 6 of 6 results First • Previous • Next • Last
Undecided
Fix Committed
#2028688 Too long error message
TAPAAL 6
Undecided
Fix Committed
#2029137 Batch processing - wrong k bound
TAPAAL 6
Undecided
Fix Committed
#2030270 Variable type change is not possible
TAPAAL 6
Undecided
Fix Committed
#2035183 Hyper-LTL trace editor gives NPE
TAPAAL 6
Undecided
Fix Committed
#2036984 CPN unfolding fails
TAPAAL 6
Undecided
Fix Committed
#2037705 Impossible to remove tokens
TAPAAL 6
1 → 6 of 6 results First • Previous • Next • Last