boolvarTest.ml 4 KB