Skip to content

Jenkins
overturetool
hdm/development
#3
Test Results
Test Results
org.overture.typechecker.tests.external
ExternalClassesRtTypeCheckTest
Install IDE / test[purecooperative-02.vpp]

ENABLE AUTO REFRESH

See Fingerprints

Coverage Report

Coverage Report

Coverage Report

Coverage Report

Embeddable Build Status

Passed

Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[purecooperative-02.vpp]

Page generated: Dec 5, 2023 10:14:21 PM CETREST APIJenkins ver. 2.222.3

Help us localize this page