Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

TTool
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Incidents

Snippets Groups Projects

c1a1348f

"src/main/java/ui/tmldd/TMLArchiHWANode.java" did not exist on "d59dcce90ba232290b1b9e8a68341c7727d15e47"

Commit c1a1348f authored 8 years ago by Ludovic Apvrille

Downloads
- Patches
- Plain Diff

Resolving bug on model checking

parent 852685e7

No related branches found

No related tags found

Loading

Changes 3

Hide whitespace changes

Inline Side-by-side

Showing

modeling/MicroWaveOven_SafetySecurity_fullMethodo.xml 2214 additions, 2212 deletions

modeling/MicroWaveOven_SafetySecurity_fullMethodo.xml
modeling/testavatar.xml 867 additions, 867 deletions

modeling/testavatar.xml
src/avatartranslator/modelchecker/AvatarModelChecker.java 6 additions, 2 deletions

src/avatartranslator/modelchecker/AvatarModelChecker.java

with 3087 additions and 3081 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment