I've re-enabled ENABLE_TESTING() in tests/c/CMakeList.txt.  What this does is add executables created in the test/c folder as tests.  From there, you can then call "make test" (or "ninja test" if you're using that) and it will run each of the test executables.  The output may not be very verbose, so you can also run "ctest -V" in the build folder too. 

This should facilitate building small test programs to stress the C API.  I found it useful when I did the initial type system test, and I think the more tests we can add the better for automatic regression testing.

Thanks!

steven