Skip to content
Jenkins
log in
Jenkins
vdm2c
vdm2c-vdmlib
#96
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
Embeddable Build Status
Previous Build
Next Build
Changes
Summary
modified: (
commit: ceb5cb2
) (
details
)
Commit
ceb5cb2d30015e8f68d34417fd6982c8b98e5951
by
Victor Bandur
modified:
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
(
commit: ceb5cb2
)
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
(diff)
![[Jenkins]](/jenkins/static/ad9d9007/images/jenkins-header-logo-v2.svg){kind=logo}
Changes