1 puts "TODO OCC12345 ALL: OCC902 Faulty"
14 set list [OCC902 $arg]
16 set we_have [lindex $list 8]
17 puts "we_have = $we_have"
19 set must_be_1 "Exp($arg)*$arg"
20 puts "must_be_1 = $must_be_1"
21 set must_be_2 "$arg*Exp($arg)"
22 puts "must_be_2 = $must_be_2"
24 if {[string compare $we_have $must_be_1] == 0} {
27 if { [string compare $we_have $must_be_2] == 0} {