coq/test-suite/unit-tests/src, branch master The formal proof system Make the out_channel for the log file accessible so tests can write to it (e.g. for debugging) 2018-07-23T15:25:11+00:00 Jim Fehrle 2018-05-18T19:03:19+00:00 a6131723faa8699e485a88fae8cc2323b82a8461 






add unit tests to test suite
2018-05-16T11:28:10+00:00

Paul Steckler

2018-02-23T19:23:19+00:00

a2f4a43833a29a5ede5905225b814c33e3a46132