Skip to content
Jenkins
log in
Jenkins
overturetool
hdm/development
#3
Test Results
org.overture.codegen.tests.exec
FunctionValueJavaGenTest
Package core / test[MapNatCurried.vdmpp]
ENABLE AUTO REFRESH
History
Git Build Data
See Fingerprints
Coverage Report
Test Result
Coverage Report
Coverage Report
Open Tasks
Coverage Report
Maven
Open Tasks
Embeddable Build Status
Pipeline Steps
Workspaces
Previous Build
Next Build
Skipped
Package core / org.overture.codegen.tests.exec.FunctionValueJavaGenTest.test[MapNatCurried.vdmpp]
Skipped for the past 4 builds (Since
#0 )
Took 0 ms.
![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
