progress towards testing all inputs of a given length with value analysis