out_20_1.nwm_nocnt « treeadd « ccured_olden « test - compcert - CompCert fork with minor modifications for Vericert.

about summary refs log tree commit diff stats

path: root/test/ccured_olden/treeadd/out_20_1.nwm_nocnt

blob: c68935f69b21f2a8dc212cfa714a98d26ae2029e (plain)

Treeadd with 20 levels
About to enter TreeAlloc
About to enter TreeAdd
Iteration 0...done
Received result of 1048575
48.41u 1.28s 0:49.87 99.6%