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