Skip to content
Jenkins
log in
Jenkins
overture-master
The VDM to JML Generator
#30
Test Results
org.overture.vdm2jml.tests
RecInvTests
recInv
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
History
Executed Mojos
Test Result
See Fingerprints
Embeddable Build Status
Previous Build
Passed
org.overture.vdm2jml.tests.RecInvTests.recInv
Took 1 ms.