]> andersk Git - splint.git/blobdiff - test/db1/employee.lcs
*** empty log message ***
[splint.git] / test / db1 / employee.lcs
index dd6cff4cb29f4328ee775caa87f9e8ee16ffbeaa..898a68ad8842a4479555d9338fafeb51ea756877 100644 (file)
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.9
+%PASSED Output from LCLint 3.0.0.12
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil
This page took 0.033698 seconds and 4 git commands to generate.