mzn-testing in process