Add tests for predicates.
authorChris Hanson <org/chris-hanson/cph>
Sat, 7 Jan 2017 03:46:07 +0000 (19:46 -0800)
committerChris Hanson <org/chris-hanson/cph>
Sat, 7 Jan 2017 03:46:07 +0000 (19:46 -0800)
commit3fc3e6b924b350487c988c9edecc6fa850f771b8
tree6e6340a3ab2e2e1c6a0b8a6d3f1426e3354de3a0
parented1432fb3549f4a1012e1e3cff71fd9c874f8dfc
Add tests for predicates.
tests/check.scm
tests/runtime/test-compound-predicate.scm [new file with mode: 0644]
tests/runtime/test-parametric-predicate.scm [new file with mode: 0644]
tests/runtime/test-predicate-lattice.scm [new file with mode: 0644]
tests/runtime/test-predicate-metadata.scm [new file with mode: 0644]