test-suite/output/goal_output.v


1
2
3
4
5
6
7
8
9
10
11
12
13

(* From
   - https://coq.inria.fr/bugs/show_bug.cgi?id=5529
   - https://coq.inria.fr/bugs/show_bug.cgi?id=5537
 *)

Print Nat.t.
Timeout 1 Print Nat.t.

Lemma toto: False.
Set Printing All.
Show.
Abort.