contracts: change the contract syntax
[nit.git] / tests / sav / niti / fixme /
drwxr-xr-x   ..
-rw-r--r-- 10 test_c.res
-rw-r--r-- 10 test_jvm.res
-rw-r--r-- 10 test_jvm_alt1.res
-rw-r--r-- 10 test_jvm_alt2.res
-rw-r--r-- 10 test_jvm_alt3.res
-rw-r--r-- 10 test_jvm_alt4.res