idris-1.2.0: test/totality019/expected

totality019.idr:8:1-36:
  |
8 | testCov False False = ?testCov_rhs_3
  | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Main.testCov is not total as there are missing cases

totality019.idr:12:1-42:
   |
12 | testCov' (False ** False) = ?testCov_rhs_3
   | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Main.testCov' is not total as there are missing cases