1 puts "TODO OCC23674 ALL: Error : Number of faults is"
2 puts "TODO ?OCC24592 ALL: Error : Number of free edges is"
4 restore [locate_data_file CCH_indusheq.rle] a
8 checkmaxtol result 9.9999999999999995e-007
9 checknbshapes result -shell 1
10 checkfreebounds result 33
11 checkfaults result a 2