Skip to content
Jenkins
log in
Jenkins
vdm2c-vdmlib
#144
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
Test for sequence updates. (
commit: cd01a15
) (
details
)
Commit
cd01a151bb3540e1646fd7e31ed5dfbfd102a069
by
Victor Bandur
Test for sequence updates.
(
commit: cd01a15
)
c/vdmclib/src/test/ExpressionsSeq_Tests.cpp
(diff)
c/vdmclib/src/main/VdmSeq.c
(diff)
![[Jenkins]](/jenkins/static/ad9d9007/images/jenkins-header-logo-v2.svg){kind=logo}
Changes