src/ui/window/JDialogSystemCGeneration.java · 247e2e289d5320c63bf596116958a53ff8d96591 · mbe-tools / TTool · GitLab

Snippets Groups Projects

13 years ago
247e2e28
AVATAR to UPPAAL: bug identified on the random translation: PATCH made, non... · 247e2e28
Ludovic Apvrille authored 13 years ago
```
AVATAR to UPPAAL: bug identified on the random translation: PATCH made, non teste, waiting for its test
```
247e2e28

History
AVATAR to UPPAAL: bug identified on the random translation: PATCH made, non...
Ludovic Apvrille authored 13 years ago
```
AVATAR to UPPAAL: bug identified on the random translation: PATCH made, non teste, waiting for its test
```