tests = [ testGroup "Smoke tests"
          [ check "nat" []
          , check "coc" []
          , check "logic" ["coc"]
          , check "peano" ["logic", "coc"]
          , checkFailure "bug" [] ] ]
tests = [ testGroup "Smoke tests"
          [ check "nat" []
          , check "coc" []
          , check "logic" ["coc"]
          , check "peano" ["logic", "coc"]
          , checkFailure "bug" [] ] ]
tests = [ testGroup "Smoke tests"
          [ check "nat" []
          , check "coc" []
          , check "logic" ["coc"]
          , check "peano" ["logic", "coc"]
          , checkFailure "bug" [] ] ]