Tim Chevalier 6a74253d60 Don't warn about unused for-loop index variables		2011-06-30 12:37:30 -07:00
..
ann.rs	Tests for while loops that may invalidate constraints	2011-06-27 18:14:23 -07:00
annotate.rs	Warn for unused variables	2011-06-30 12:37:30 -07:00
auxiliary.rs	Kill unused variables	2011-06-30 12:37:30 -07:00
bitvectors.rs	Tests for while loops that may invalidate constraints	2011-06-27 18:14:23 -07:00
ck.rs	Kill unused variables	2011-06-30 12:37:30 -07:00
collect_locals.rs	Kill unused variables	2011-06-30 12:37:30 -07:00
pre_post_conditions.rs	Don't warn about unused for-loop index variables	2011-06-30 12:37:30 -07:00
states.rs	Kill unused variables	2011-06-30 12:37:30 -07:00
tritv.rs	Tests for while loops that may invalidate constraints	2011-06-27 18:14:23 -07:00