ttool/src/test/java/cli/CLIAvatarModelCheckerTest.java · 8e67fda69b4fe42646f8c6122ffeb5ed7ee5d962 · mbe-tools / TTool

4 years ago

Revert "First version model-checker validator which validates internal verification results with UPPAAL"

This reverts commit 9b20334e.

8e67fda6

Ludovic Apvrille authored 4 years ago

Revert "First version model-checker validator which validates internal verification results with UPPAAL"

This reverts commit 9b20334e.