2011-08-01 18:32:35 |
Morten Jacobsen |
bug |
|
|
added bug |
2011-08-01 18:32:35 |
Morten Jacobsen |
attachment added |
|
This is the TAPAAL model for the GUI https://bugs.launchpad.net/bugs/819458/+attachment/2247752/+files/tapaal-model.xml |
|
2011-08-01 18:33:06 |
Morten Jacobsen |
attachment added |
|
This is the verifytapn model for command line verification https://bugs.launchpad.net/verifytapn/+bug/819458/+attachment/2247753/+files/verifytapn-model.xml |
|
2011-08-01 18:33:27 |
Morten Jacobsen |
attachment added |
|
query file for command line verification https://bugs.launchpad.net/verifytapn/+bug/819458/+attachment/2247754/+files/verifytapn-model.q |
|
2011-08-01 18:34:02 |
Morten Jacobsen |
nominated for series |
|
verifytapn/1.0 |
|
2011-08-01 18:34:02 |
Morten Jacobsen |
bug task added |
|
verifytapn/1.0 |
|
2011-08-01 18:34:02 |
Morten Jacobsen |
nominated for series |
|
verifytapn/trunk |
|
2011-08-01 18:34:02 |
Morten Jacobsen |
bug task added |
|
verifytapn/trunk |
|