Question: verify problem

Hi, I am using this code to verify if my function satisfies positiveness / negativeness under assumed ranges or not. assume(`θ_e`, 'real', 0 <><> true then print(b[1]); break else favorableDF_Exists := 1 end if; := '`θ_e`' My function is 'drivingForce' and is a function of `θ_e`. This portion of the code sometimes normally takes 2 secs to calculate for the drivingForce, where as it does not respond even after 10 mins. Since it is just a simple value checking, I have no idea why at a special point e.g. it takes very long to verify my conditions. Please let me know if I am mistaken about somethings. Thank you,
Please Wait...