optimize_heap.out « output « test-suite - coq - The formal proof system

about summary refs log tree commit diff

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

blob: b6ee61a97129753abe43b9d285e3082069605984 (plain)

1 goal
  
  ============================
  True
1 goal
  
  ============================
  True