You should probably integrate this test into test/TestFull.ml. Look at the last tests in this file, it gives you hint how to do all that into an OUnit test with support of existing functions.