Skip to content
Jenkins
log in
Jenkins
overture-master
The VDM to JML Generator
#30
Test Results
org.overture.vdm2jml.tests
PreCondWithStateTests
testOpRequiresAnnotation
DISABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
History
Executed Mojos
Test Result
See Fingerprints
Embeddable Build Status
Previous Build
Passed
org.overture.vdm2jml.tests.PreCondWithStateTests.testOpRequiresAnnotation
Took 0 ms.
![[Jenkins]](/jenkins/static/d9ee5665/images/jenkins-header-logo-v2.svg){kind=logo}
