| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 12-Jul-2019 | - | ||||
| README.md | H A D | 12-Jul-2019 | 381 | 9 | 6 | |
| apitrace.cpp | H A D | 12-Jul-2019 | 1.3 KiB | 78 | 65 | |
| cfreeze.c | H A D | 12-Jul-2019 | 3 KiB | 95 | 76 | |
| ctest.c | H A D | 12-Jul-2019 | 668 | 31 | 27 | |
| example.cpp | H A D | 12-Jul-2019 | 2.4 KiB | 65 | 34 | |
| makefile | H A D | 12-Jul-2019 | 96 | 4 | 2 | |
| morenmore.cpp | H A D | 12-Jul-2019 | 438 | 21 | 20 | |
| newdelete.cpp | H A D | 12-Jul-2019 | 131 | 7 | 6 | |
| run.sh | H A D | 12-Jul-2019 | 2.7 KiB | 121 | 86 | |
| terminate.cpp | H A D | 12-Jul-2019 | 925 | 50 | 36 | |
| traverse.cpp | H A D | 12-Jul-2019 | 3 KiB | 141 | 111 | |
| unit.cpp | H A D | 12-Jul-2019 | 624 | 23 | 22 |
README.md
1These are unit API tests of the library executed with `run.sh` which 2actually needs to be called from an immediate sub-directory of CaDiCaL. 3 4The binary and results of the tests are put into the build directory. 5 6The `makefile` allows to compile and execute the API tests from within this 7sub-directory with a single `make` command, but then uses `../../build` as 8build directory. 9