Loading bad-tests.disco...
Running tests...
  badmap:
  - Test failed: badmap(λx. x / 0)([3, 4, 5]) =!= [6, 7, 8]
    Error: division by zero.
  - Test result mismatch for: badmap(λx. x)([1, 2]) =!= [1, 2]
    - Left side:  [1, 1, 2, 2, 3]
    - Right side: [1, 2]
  - Test is false: badmap(λx. x + 1)([3, 4]) > [5, 6]
  divide:
  - Test failed: ∀a, b. divide(a)(b) * b =!= a
    Error: division by zero.
    Counterexample:
      a = 0
      b = 0
  - Test is false: ∀a. divide(a)(2) < a
    Counterexample:
      a = 0
  - No example was found: ∃a. divide(a)(2) =!= abs(a) + 1
    Checked 50 possibilities.
Loaded.