SampleAutoSec added
parent
db5511ff
No related branches found
No related tags found
Showing
- ttool/src/test/java/tmltranslator/DiplodocusSecurityTest.java 2 additions, 2 deletions...l/src/test/java/tmltranslator/DiplodocusSecurityTest.java
- ttool/src/test/resources/tmltranslator/DiplodocusSecurityTest/Models/AliceAndBobHW/SampleAutoSec/golden 2 additions, 0 deletions...cusSecurityTest/Models/AliceAndBobHW/SampleAutoSec/golden
- ttool/src/test/resources/tmltranslator/DiplodocusSecurityTest/Models/AliceAndBobHW/SampleAutoSec/spec.tarchi 116 additions, 0 deletions...curityTest/Models/AliceAndBobHW/SampleAutoSec/spec.tarchi
- ttool/src/test/resources/tmltranslator/DiplodocusSecurityTest/Models/AliceAndBobHW/SampleAutoSec/spec.tmap 22 additions, 0 deletions...SecurityTest/Models/AliceAndBobHW/SampleAutoSec/spec.tmap
- ttool/src/test/resources/tmltranslator/DiplodocusSecurityTest/Models/AliceAndBobHW/SampleAutoSec/spec.tml 32 additions, 0 deletions...sSecurityTest/Models/AliceAndBobHW/SampleAutoSec/spec.tml
Loading
Please register or sign in to comment