Wrong implementation for LTE_MIN

Lines 77 to 84 in 008a0da

    
           elif alu == ALU.GTE_Max: 
        
               # C, V = a-b? 
        
               pred = a >= b 
        
               res, res_p = pred.ite(a,b), a >= b 
        
           elif alu == ALU.LTE_Min: 
        
               # C, V = a-b? 
        
               pred = a <= b 
        
               res, res_p = pred.ite(a,b), a >= b

Someone needs to write more exhaustive tests on every op with multiple inputs.

@Kuree, can you confirm this can be closed?

	elif alu == ALU.GTE_Max:
	# C, V = a-b?
	pred = a >= b
	res, res_p = pred.ite(a,b), a >= b
	elif alu == ALU.LTE_Min:
	# C, V = a-b?
	pred = a <= b
	res, res_p = pred.ite(a,b), a >= b