FRDCSA

Brief: Automatically extracts PLT tests from executing SWIPL programs
Jump To: Parent Description
Code: GitHub

• This system uses some goal expansion code written by dmiles in order to extract Prolog calls, and then memoize the results, into PLT test files. The idea is you run the program you want to build tests for (in order to help determine regressions, or recognize improvements) and the test cases are written out. Works well enough for now for simple programs, but has some loading issues for instance when run on FLP or logicmoo.