mythril/tests/testdata/outputs_expected/underflow.sol.o.text

==== Integer Underflow ====
Type: Warning
Contract: Unknown
Function name: sendeth(address,uint256)
PC address: 567
A possible integer underflow exists in the function `sendeth(address,uint256)`.
The subtraction may result in a value < 0.
--------------------

==== Integer Underflow ====
Type: Warning
Contract: Unknown
Function name: sendeth(address,uint256)
PC address: 649
A possible integer underflow exists in the function `sendeth(address,uint256)`.
The subtraction may result in a value < 0.
--------------------

==== Integer Overflow  ====
Type: Warning
Contract: Unknown
Function name: sendeth(address,uint256)
PC address: 725
A possible integer overflow exists in the function `sendeth(address,uint256)`.
The addition or multiplication may result in a value higher than the maximum representable integer.
--------------------
F2F: Fix tests and build Submission #253416 by walker_ to the challenge https://www.topcoder.com/challenges/30064535 7 years ago			`==== Integer Underflow ====`
			`Type: Warning`
			`Contract: Unknown`
			`Function name: sendeth(address,uint256)`
Fixes issues with python 3.5 dict ordering 7 years ago			`PC address: 567`
F2F: Fix tests and build Submission #253416 by walker_ to the challenge https://www.topcoder.com/challenges/30064535 7 years ago			A possible integer underflow exists in the function `sendeth(address,uint256)`.
			`The subtraction may result in a value < 0.`
			`--------------------`

Fixes issues with python 3.5 dict ordering 7 years ago			`==== Integer Underflow ====`
Revert "Update expected test outputs" This reverts commit 2f98e96 The changed report output files still contain integer overflows 7 years ago			`Type: Warning`
			`Contract: Unknown`
			`Function name: sendeth(address,uint256)`
Fixes issues with python 3.5 dict ordering 7 years ago			`PC address: 649`
			A possible integer underflow exists in the function `sendeth(address,uint256)`.
			`The subtraction may result in a value < 0.`
Revert "Update expected test outputs" This reverts commit 2f98e96 The changed report output files still contain integer overflows 7 years ago			`--------------------`

Fixes issues with python 3.5 dict ordering 7 years ago			`==== Integer Overflow ====`
F2F: Fix tests and build Submission #253416 by walker_ to the challenge https://www.topcoder.com/challenges/30064535 7 years ago			`Type: Warning`
			`Contract: Unknown`
			`Function name: sendeth(address,uint256)`
Fixes issues with python 3.5 dict ordering 7 years ago			`PC address: 725`
			A possible integer overflow exists in the function `sendeth(address,uint256)`.
			`The addition or multiplication may result in a value higher than the maximum representable integer.`
F2F: Fix tests and build Submission #253416 by walker_ to the challenge https://www.topcoder.com/challenges/30064535 7 years ago			`--------------------`