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
..
patch-bin_cilly
patch-configure_in	update to cil-1.3.2	2005-05-09 13:52:38 +00:00
patch-Makefile_cil_in	Add in a --dorandomvars which sets local variables to values other than	2005-05-27 21:46:23 +00:00
patch-src_cil_ml	Add a 'kernel function call tracer' to automatically insert a call to	2005-05-27 06:31:52 +00:00
patch-src_cilutil_ml	Add in a --dorandomvars which sets local variables to values other than	2005-05-27 21:46:23 +00:00
patch-src_maincil_ml	Add in a --dorandomvars which sets local variables to values other than	2005-05-27 21:46:23 +00:00