That’s the way to do it. Thanks, Tomyo. -Xuejun From: csmith-dev-bounces@flux.utah.edu [mailto:csmith-dev-bounces@flux.utah.edu] On Behalf Of Tomyo Maeshiro Hello On Fri, Aug 19, 2011 at 2:07 PM, John Regehr <regehr@cs.utah.edu> wrote: Does Csmith have an option to just stop using the safe math functions, instead generating raw +, -, etc.? |