avsm 3409fdf14f Add in a --dorandomvars which sets local variables to values other than ... 0 to try and find bugs which depend on them being initalized to 0. Also turn off the other transformations by default (use --dokerneltrace or --donullint) Go get em Chad.		2005-05-27 21:46:23 +00:00
..
kerneltrace.ml	Add a 'kernel function call tracer' to automatically insert a call to	2005-05-27 06:31:52 +00:00
nullint.ml
randomvars.ml	Add in a --dorandomvars which sets local variables to values other than	2005-05-27 21:46:23 +00:00