Changed return type from int to bool
[pspp-builds.git] / src / libpspp / model-checker.c
2007-04-25 Ben PfaffDon't use type sighandler_t, which is a GNU extension...
2007-04-23 Ben PfaffImplement model checker for testing purposes.