projects / pspp-builds.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41a3a55) | patch
Implement model checker for testing purposes.
authorBen Pfaff <blp@gnu.org>
Mon, 23 Apr 2007 01:26:31 +0000 (01:26 +0000)
committerBen Pfaff <blp@gnu.org>
Mon, 23 Apr 2007 01:26:31 +0000 (01:26 +0000)
commit5060fdedfe17e843301ac0c738e12488af467378
treef9eae8cbd49f05e3c30505d55d07b0411bc2944ctree | snapshot
parent41a3a550334da96a9b4e5e089ad1768acf288092commit | diff
Implement model checker for testing purposes.

Patch #5873.

* automake.mk (src_libpspp_libpspp_a_SOURCES): Add
model-checker.[ch].  Alphabetize.

* model-checker.c: New file.

* model-checker.h: New file.

* automake.mk: Add check-model.[ch].

* check-model.h: New file.

* check-model.q: New file.

* Smake (GNULIB_MODULES): Add crypto/md4, fwriteerror,
gettimeofday.
ChangeLog diff | blob | history
Smake diff | blob | history
src/language/tests/ChangeLog diff | blob | history
src/language/tests/automake.mk diff | blob | history
src/language/tests/check-model.h [new file with mode: 0644] blob
src/language/tests/check-model.q [new file with mode: 0644] blob
src/libpspp/ChangeLog diff | blob | history
src/libpspp/automake.mk diff | blob | history
src/libpspp/model-checker.c [new file with mode: 0644] blob
src/libpspp/model-checker.h [new file with mode: 0644] blob
PSPP build tags.