optimize_heap.out « output « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/output/optimize_heap.out

blob: 94a0b191181c3a28179b8257df9913d79418ad10 (plain)

1 subgoal
  
  ============================
  True
1 subgoal
  
  ============================
  True