model-checker: Don't discard error states.
[pspp-builds.git] / tests / no_case_size.sav
2005-05-23 John DarringtonOops. Add test data.