?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Don't try calling lsl when file is missing.
[splint-patched.git] / test / cast.lcl
blobe62d0cf5f2f8cd00b572661c728afa7a7c0d0e50
1 mutable type abst1;
2 mutable type abst2;
Patched version for SPLint (Secure Programming Lint)