]> andersk Git - splint.git/blob - test/db2.out
Added new tests.
[splint.git] / test / db2.out
1
2 < reading spec employee.lcl >
3 employee.lcl:2: Cannot find standard import file: stdio.lcs
4 *** Cannot continue.
This page took 0.048998 seconds and 5 git commands to generate.