diff options
| author |  Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-27 15:15:43 -0800 |
|---|---|---|
| committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-01-27 15:17:06 -0800 |
| commit | bb3a3a61fe7b971ad8ef326ec7e4d5903e6860ee (patch) | |
| tree | 1e7cb626e710d0cf1888ee89f45e65afb5b41a13 /src | |
| parent | ecdc86999a7eb30223209887801ec8bbeac1cc9e (diff) | |
Functional tests for C library
While gearing up to make an addition to the C library, I became
concerned at the lack of test infrastructure for the project. The build
system now integrates Check <http://check.sourceforge.net/>;, a
lightweight testing framework for C, and there are a few tests to ensure
no serious regressions occur. You can run the tests with “make check”.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions