Commit | Line | Data |
---|---|---|
5ae01c85 | 1 | puts "TODO OCC23674 ALL: Error : Number of faults is" |
2 | ||
8418c617 | 3 | restore [locate_data_file CIN901_intcqhmi.rle] a |
5ae01c85 | 4 | |
5 | sewing result $tol a | |
6 | ||
fb60057d | 7 | checkmaxtol result -ref 1.91680e+001 |
5ae01c85 | 8 | checknbshapes result -shell 1 |
93937391 | 9 | checkfreebounds result 3 |
5ae01c85 | 10 | checkfaults result a 6 |