NAL Property Tests - Githubissues

opennars / Narjure

A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.

GNU General Public License v2.0

43 stars 11 forks source link

Closed 0xc1c4da closed 8 years ago

0xc1c4da commented 8 years ago

Using test.check we need to property test the NAL rules against the Deriver.

patham9 commented 8 years ago

This approach wasn't very fruitful so far. Closed for now, using well chosen testcases for now.