| 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 |
| |
