Hi,what are the current working options for the tests coverage reporting? For testing of the minimal image I tried to use the standard code simulator but as you may expect the results are not perfect (it cannot hanlde tests that use should:rise, it's very slow etc.)Cheers,-- Pavel