Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

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

Snippets Groups Projects

250c743a

Commit 250c743a authored 2 years ago by Ludovic Apvrille

Downloads
- Patches
- Plain Diff

Adding generic test for simulation

parent 14d6063a

No related branches found

No related tags found

No related merge requests found

Changes 8
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

doc/logo/diplodocus2.svg 295 additions, 0 deletions

doc/logo/diplodocus2.svg
src/main/java/avatartranslator/toproverif/AVATAR2ProVerif.java 9 additions, 3 deletions

...ain/java/avatartranslator/toproverif/AVATAR2ProVerif.java
ttool/src/test/java/tmltranslator/DiplodocusSimulatorFunctionalTest.java 214 additions, 0 deletions

...java/tmltranslator/DiplodocusSimulatorFunctionalTest.java
ttool/src/test/resources/tmltranslator/functional/simple1.tarchi 38 additions, 0 deletions

...rc/test/resources/tmltranslator/functional/simple1.tarchi
ttool/src/test/resources/tmltranslator/functional/simple1.tmap 12 additions, 0 deletions

.../src/test/resources/tmltranslator/functional/simple1.tmap
ttool/src/test/resources/tmltranslator/functional/simple1.tml 27 additions, 0 deletions

...l/src/test/resources/tmltranslator/functional/simple1.tml
ttool/src/test/resources/tmltranslator/functional/simple1_out1.txt 3 additions, 0 deletions

.../test/resources/tmltranslator/functional/simple1_out1.txt
ttool/src/test/resources/tmltranslator/functional/simple1_out2.txt 3 additions, 0 deletions

.../test/resources/tmltranslator/functional/simple1_out2.txt

with 601 additions and 3 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