2020-12-04 14:12:56 |
Peter Haahr Taankvist |
bug |
|
|
added bug |
2020-12-04 14:12:56 |
Peter Haahr Taankvist |
attachment added |
|
SafeBus-03.pnml https://bugs.launchpad.net/bugs/1906837/+attachment/5440983/+files/SafeBus-03.pnml |
|
2020-12-04 14:13:22 |
Peter Haahr Taankvist |
attachment added |
|
SafeBusReachCard.xml https://bugs.launchpad.net/verifypn/+bug/1906837/+attachment/5440984/+files/SafeBusReachCard.xml |
|
2020-12-04 14:13:48 |
Thomas Pedersen |
verifypn: assignee |
|
Thomas Pedersen (tpede16) |
|
2020-12-04 14:31:03 |
Thomas Pedersen |
branch linked |
|
lp:~tapaal-contributor/verifypn/remove_debug_print-1906837 |
|