| This tests that the static analysis we use to infer if a variable should be a double doesn't crash. | |
| On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE". | |
| Result value is 54939 | |
| Result value is 55039 | |
| Result value is 55039 | |
| Result value is 55139 | |
| Result value is 55039 | |
| Result value is 55139 | |
| Result value is 55139 | |
| Result value is 55239 | |
| Result value is 55039 | |
| Result value is 55139 | |
| Result value is 55139 | |
| Result value is 55239 | |
| Result value is 55139 | |
| Result value is 55239 | |
| Result value is 55239 | |
| Result value is 55339 | |
| Result value is 55821 | |
| Result value is 55921 | |
| Result value is 55921 | |
| Result value is 56021 | |
| Result value is 55921 | |
| Result value is 56021 | |
| Result value is 56021 | |
| Result value is 56121 | |
| Result value is 55921 | |
| Result value is 56021 | |
| Result value is 56021 | |
| Result value is 56121 | |
| Result value is 56021 | |
| Result value is 56121 | |
| Result value is 56121 | |
| Result value is 56221 | |
| Result value is 55828.5 | |
| Result value is 55928.5 | |
| Result value is 55928.5 | |
| Result value is 56028.5 | |
| Result value is 55928.5 | |
| Result value is 56028.5 | |
| Result value is 56028.5 | |
| Result value is 56128.5 | |
| Result value is 55928.5 | |
| Result value is 56028.5 | |
| Result value is 56028.5 | |
| Result value is 56128.5 | |
| Result value is 56028.5 | |
| Result value is 56128.5 | |
| Result value is 56128.5 | |
| Result value is 56228.5 | |
| Result value is 56710.5 | |
| Result value is 56810.5 | |
| Result value is 56810.5 | |
| Result value is 56910.5 | |
| Result value is 56810.5 | |
| Result value is 56910.5 | |
| Result value is 56910.5 | |
| Result value is 57010.5 | |
| Result value is 56810.5 | |
| Result value is 56910.5 | |
| Result value is 56910.5 | |
| Result value is 57010.5 | |
| Result value is 56910.5 | |
| Result value is 57010.5 | |
| Result value is 57010.5 | |
| Result value is 57110.5 | |
| Result value is 55834 | |
| Result value is 55934 | |
| Result value is 55934 | |
| Result value is 56034 | |
| Result value is 55934 | |
| Result value is 56034 | |
| Result value is 56034 | |
| Result value is 56134 | |
| Result value is 55934 | |
| Result value is 56034 | |
| Result value is 56034 | |
| Result value is 56134 | |
| Result value is 56034 | |
| Result value is 56134 | |
| Result value is 56134 | |
| Result value is 56234 | |
| Result value is 56716 | |
| Result value is 56816 | |
| Result value is 56816 | |
| Result value is 56916 | |
| Result value is 56816 | |
| Result value is 56916 | |
| Result value is 56916 | |
| Result value is 57016 | |
| Result value is 56816 | |
| Result value is 56916 | |
| Result value is 56916 | |
| Result value is 57016 | |
| Result value is 56916 | |
| Result value is 57016 | |
| Result value is 57016 | |
| Result value is 57116 | |
| Result value is 56723.5 | |
| Result value is 56823.5 | |
| Result value is 56823.5 | |
| Result value is 56923.5 | |
| Result value is 56823.5 | |
| Result value is 56923.5 | |
| Result value is 56923.5 | |
| Result value is 57023.5 | |
| Result value is 56823.5 | |
| Result value is 56923.5 | |
| Result value is 56923.5 | |
| Result value is 57023.5 | |
| Result value is 56923.5 | |
| Result value is 57023.5 | |
| Result value is 57023.5 | |
| Result value is 57123.5 | |
| Result value is 57605.5 | |
| Result value is 57705.5 | |
| Result value is 57705.5 | |
| Result value is 57805.5 | |
| Result value is 57705.5 | |
| Result value is 57805.5 | |
| Result value is 57805.5 | |
| Result value is 57905.5 | |
| Result value is 57705.5 | |
| Result value is 57805.5 | |
| Result value is 57805.5 | |
| Result value is 57905.5 | |
| Result value is 57805.5 | |
| Result value is 57905.5 | |
| Result value is 57905.5 | |
| Result value is 58005.5 | |
| Result value is 55887.5 | |
| Result value is 55987.5 | |
| Result value is 55987.5 | |
| Result value is 56087.5 | |
| Result value is 55987.5 | |
| Result value is 56087.5 | |
| Result value is 56087.5 | |
| Result value is 56187.5 | |
| Result value is 55987.5 | |
| Result value is 56087.5 | |
| Result value is 56087.5 | |
| Result value is 56187.5 | |
| Result value is 56087.5 | |
| Result value is 56187.5 | |
| Result value is 56187.5 | |
| Result value is 56287.5 | |
| Result value is 56769.5 | |
| Result value is 56869.5 | |
| Result value is 56869.5 | |
| Result value is 56969.5 | |
| Result value is 56869.5 | |
| Result value is 56969.5 | |
| Result value is 56969.5 | |
| Result value is 57069.5 | |
| Result value is 56869.5 | |
| Result value is 56969.5 | |
| Result value is 56969.5 | |
| Result value is 57069.5 | |
| Result value is 56969.5 | |
| Result value is 57069.5 | |
| Result value is 57069.5 | |
| Result value is 57169.5 | |
| Result value is 56777 | |
| Result value is 56877 | |
| Result value is 56877 | |
| Result value is 56977 | |
| Result value is 56877 | |
| Result value is 56977 | |
| Result value is 56977 | |
| Result value is 57077 | |
| Result value is 56877 | |
| Result value is 56977 | |
| Result value is 56977 | |
| Result value is 57077 | |
| Result value is 56977 | |
| Result value is 57077 | |
| Result value is 57077 | |
| Result value is 57177 | |
| Result value is 57659 | |
| Result value is 57759 | |
| Result value is 57759 | |
| Result value is 57859 | |
| Result value is 57759 | |
| Result value is 57859 | |
| Result value is 57859 | |
| Result value is 57959 | |
| Result value is 57759 | |
| Result value is 57859 | |
| Result value is 57859 | |
| Result value is 57959 | |
| Result value is 57859 | |
| Result value is 57959 | |
| Result value is 57959 | |
| Result value is 58059 | |
| Result value is 56782.5 | |
| Result value is 56882.5 | |
| Result value is 56882.5 | |
| Result value is 56982.5 | |
| Result value is 56882.5 | |
| Result value is 56982.5 | |
| Result value is 56982.5 | |
| Result value is 57082.5 | |
| Result value is 56882.5 | |
| Result value is 56982.5 | |
| Result value is 56982.5 | |
| Result value is 57082.5 | |
| Result value is 56982.5 | |
| Result value is 57082.5 | |
| Result value is 57082.5 | |
| Result value is 57182.5 | |
| Result value is 57664.5 | |
| Result value is 57764.5 | |
| Result value is 57764.5 | |
| Result value is 57864.5 | |
| Result value is 57764.5 | |
| Result value is 57864.5 | |
| Result value is 57864.5 | |
| Result value is 57964.5 | |
| Result value is 57764.5 | |
| Result value is 57864.5 | |
| Result value is 57864.5 | |
| Result value is 57964.5 | |
| Result value is 57864.5 | |
| Result value is 57964.5 | |
| Result value is 57964.5 | |
| Result value is 58064.5 | |
| Result value is 57672 | |
| Result value is 57772 | |
| Result value is 57772 | |
| Result value is 57872 | |
| Result value is 57772 | |
| Result value is 57872 | |
| Result value is 57872 | |
| Result value is 57972 | |
| Result value is 57772 | |
| Result value is 57872 | |
| Result value is 57872 | |
| Result value is 57972 | |
| Result value is 57872 | |
| Result value is 57972 | |
| Result value is 57972 | |
| Result value is 58072 | |
| Result value is 58554 | |
| Result value is 58654 | |
| Result value is 58654 | |
| Result value is 58754 | |
| Result value is 58654 | |
| Result value is 58754 | |
| Result value is 58754 | |
| Result value is 58854 | |
| Result value is 58654 | |
| Result value is 58754 | |
| Result value is 58754 | |
| Result value is 58854 | |
| Result value is 58754 | |
| Result value is 58854 | |
| Result value is 58854 | |
| Result value is 58954 | |
| PASS grandResult is 14578304 | |
| PASS successfullyParsed is true | |
| TEST COMPLETE | |