out.orig « perimeter « ccured_olden « test - compcert - CompCert fork with minor modifications for Vericert.

about summary refs log tree commit diff stats

path: root/test/ccured_olden/perimeter/out.orig

blob: 98edab51384582106944fc8f76fa3823140a291c (plain)

1
2
3

Perimeter with 12 levels on 1 processors
# of leaves is 73432
perimeter is 24576