Skip to content
Jenkins
log in
Jenkins
overturetool
ncb/annotations
#15
Test Results
org.overture.vdm2jml.tests.exec
JmlSetTypeExecTests
ENABLE AUTO REFRESH
History
Git Build Data
See Fingerprints
Open Tasks
Open Tasks
Test Result
Coverage Report
Open Tasks
Open Tasks
Coverage Report
Open Tasks
Open Tasks
Embeddable Build Status
Pipeline Steps
Workspaces
Previous Build
Test Result : JmlSetTypeExecTests
0 failures (±0) , 12 skipped (±0)
12 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[0: src/test/resources/dynamic_analysis/settype/SetOfNat/SetOfNat.vdmsl]
0 ms
Skipped
execJml[0: src/test/resources/dynamic_analysis/settype/SetOfNat/SetOfNat.vdmsl]
0 ms
Skipped
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[1: src/test/resources/dynamic_analysis/settype/SetPassNill/SetPassNil.vdmsl]
0 ms
Skipped
execJml[1: src/test/resources/dynamic_analysis/settype/SetPassNill/SetPassNil.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
execJml[2: src/test/resources/dynamic_analysis/settype/SetEvenNamedTypeInv/SetEvenNamedTypeInv.vdmsl]
0 ms
Skipped
execJml[2: src/test/resources/dynamic_analysis/settype/SetEvenNamedTypeInv/SetEvenNamedTypeInv.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}
