Skip to content

Jenkins
overturetool
hdm/development
#4
Test Results
org.overture.typechecker.tests
ClassesPpTypeCheckTest
Install IDE / test[SubclassImplementsAbstractOp]

ENABLE AUTO REFRESH

See Fingerprints

Coverage Report

Coverage Report

Coverage Report

Coverage Report

Embeddable Build Status

Passed

Install IDE / org.overture.typechecker.tests.ClassesPpTypeCheckTest.test[SubclassImplementsAbstractOp]

Page generated: May 24, 2022 1:22:44 AM CESTREST APIJenkins ver. 2.222.3

Help us localize this page