267 lines
6.0 KiB
Plaintext
267 lines
6.0 KiB
Plaintext
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
|
|
|