model-checker: Don't discard error states.
[pspp-builds.git] / perl-module / PSPP.bs