Skip to content

Jenkins
overturetool
hdm/development
#3
Test Results
Test Results
org.overture.codegen.tests.exec
TracesStateJavaGenTest
Package core / test[StaticCounterOtherClass.vdmpp]

ENABLE AUTO REFRESH

See Fingerprints

Coverage Report

Coverage Report

Coverage Report

Coverage Report

Embeddable Build Status

Skipped

Package core / org.overture.codegen.tests.exec.TracesStateJavaGenTest.test[StaticCounterOtherClass.vdmpp]

Skipped for the past 4 builds (Since #0 )

Page generated: Aug 18, 2022 3:23:25 AM CESTREST APIJenkins ver. 2.222.3

Help us localize this page