verify_ranking.c: add some sanity checks.
[barvinok.git] / barvinok / 
tree3a543992321ad8464e4b1c5280e0156a6711f3d7
drwxr-xr-x   ..
-rw-r--r-- 953 barvinok.h
-rw-r--r-- 3491 evalue.h
-rw-r--r-- 930 genfun.h
-rw-r--r-- 2498 util.h