]> andersk Git - splint.git/commit
andersk / splint.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19249a0) | patch
Fixed fatal errors in constraint checking.
authordrl7x <drl7x>
Wed, 11 Dec 2002 23:12:30 +0000 (23:12 +0000)
committerdrl7x <drl7x>
Wed, 11 Dec 2002 23:12:30 +0000 (23:12 +0000)
commit3d5af57657a639ba6fcc4005d16e7313f875e519
tree3cf6d0bcc5d60bb2483948b211d5e186303e7a44tree
parent19249a0f3cce28874ac9122d0b915670ce1500e4commit | diff
Fixed fatal errors in constraint checking.

Added a special in cscanner.l so that maxSet and maxRead are handled correctly.
src/cscanner.l diff | blob | blame | history
git-cvsimport mirror of splint
This page took 0.133142 seconds and 5 git commands to generate.