Skip to content
log in
ENABLE AUTO REFRESH
Jenkins
vdm2c-vdmlib
#144
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/fb0d5b9c/images/headshot.png)
Changes