search

zaimoni / Franci

Math AI prototype from the late 1990's. Inspirations are paraconsistent logic and Bernay's exposition of set theory.
Boost Software License 1.0
0 stars 0 forks source link

Regression testing #1

Open zaimoni opened 4 years ago

zaimoni commented 4 years ago

All existing inference rules should have test cases exercising them.

zaimoni commented 4 years ago

The regression test failures at the time of initial upload, were due to a newline being dropped when reading in the test driver scripts: two lines of constraints were being dropped for qualitiative inverse 2 form series. (The script parsing is that primitive.)

This issue is still needed, but is no longer hypercritical.