Skip to content
Jenkins
log in
Jenkins
overture-master
The VDM to JML Generator
#30
Test Results
org.overture.vdm2jml.tests.exec
JmlSetTypeExecTests
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
Test Result : JmlSetTypeExecTests
0 failures (±0) , 3 skipped (±0)
3 tests (±0)
Took 0 ms.
All Tests
Test name
Duration
Status
execJml[0: src/test/resources/dynamic_analysis/settype/SetOfNat/SetOfNat.vdmsl]
0 ms
Skipped
execJml[1: src/test/resources/dynamic_analysis/settype/SetPassNill/SetPassNil.vdmsl]
0 ms
Skipped
execJml[2: src/test/resources/dynamic_analysis/settype/SetEvenNamedTypeInv/SetEvenNamedTypeInv.vdmsl]
0 ms
Skipped
![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
