Implement model checker for testing purposes.
[pspp] / src / language / tests /
drwxr-xr-x   ..
-rw-r--r-- 707 ChangeLog
-rw-r--r-- 541 automake.mk
-rw-r--r-- 7941 casefile-test.c
-rw-r--r-- 1395 check-model.h
-rw-r--r-- 9052 check-model.q
-rw-r--r-- 8500 float-format.c
-rw-r--r-- 3788 moments-test.c
-rw-r--r-- 3127 pool-test.c