Please integrate into test/TestFull.ml.