Created
January 22, 2019 07:50
-
-
Save werew/a4df3aaac0b16557cf6ad0e698ddb9f1 to your computer and use it in GitHub Desktop.
Manticore erroneous testcase on PFAToken.sol
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Transactions No. 0 | |
| Type: CREATE (0) | |
| From: user_account(0x5da83cffb5bab1cd888417a5ecefe37b9e250d67) | |
| To: contract_account(0xafb6d63079413d167770de9c3f50db6477811bdb) | |
| Value: 0 | |
| Gas used: 3000000 | |
| Data: 0x608060405233600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555034801561005157600080fd5b506b033b2e3c9fd0803ce80000006000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060016000803073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506b033b2e3c9fd0803ce800000060028190555060016002600082825401925050819055506102d0806101186000396000f300608060405260043610610057576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806318160ddd1461005c57806370a0823114610087578063a9059cbb146100de575b600080fd5b34801561006857600080fd5b50610071610143565b6040518082815260200191505060405180910390f35b34801561009357600080fd5b506100c8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610149565b6040518082815260200191505060405180910390f35b3480156100ea57600080fd5b50610129600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610191565b604051808215151515815260200191505060405180910390f35b60025481565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60006044600036905010156101a557600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156101f35750600082115b1561029957816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055506001905061029e565b600090505b929150505600a165627a7a723058205b2247576c5e80131c9dfa6bb466cdb41210bcf2e63d07f210a2dbe69dd420390029 | |
| Return_data: 0x608060405260043610610057576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806318160ddd1461005c57806370a0823114610087578063a9059cbb146100de575b600080fd5b34801561006857600080fd5b50610071610143565b6040518082815260200191505060405180910390f35b34801561009357600080fd5b506100c8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610149565b6040518082815260200191505060405180910390f35b3480156100ea57600080fd5b50610129600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610191565b604051808215151515815260200191505060405180910390f35b60025481565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60006044600036905010156101a557600080fd5b816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101580156101f35750600082115b1561029957816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055506001905061029e565b600090505b929150505600a165627a7a723058205b2247576c5e80131c9dfa6bb466cdb41210bcf2e63d07f210a2dbe69dd420390029 (*) | |
| Function call: | |
| Constructor() -> RETURN | |
| Transactions No. 1 | |
| Type: CALL (0) | |
| From: user_account(0x5da83cffb5bab1cd888417a5ecefe37b9e250d67) | |
| To: contract_account(0xafb6d63079413d167770de9c3f50db6477811bdb) | |
| Value: 0 (*) | |
| Gas used: 10000000000 | |
| Data: 0xa9059cbb000000000000000000000000afb6d63079413d167770de9c3f50db6477811bdb0000000000000000000000000000000000000000013b3e7d9fd1807ce80003ff000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (*) | |
| Return_data: 0x0000000000000000000000000000000000000000000000000000000000000001 (*) | |
| Function call: | |
| transfer(1003150779044222824843138452687820282225015987163,381106737259682317849330687) -> RETURN (*) | |
| return: 1 (*) | |
| Transactions No. 2 | |
| Type: CALL (0) | |
| From: user_account(0x5da83cffb5bab1cd888417a5ecefe37b9e250d67) | |
| To: contract_account(0xafb6d63079413d167770de9c3f50db6477811bdb) | |
| Value: 0 | |
| Gas used: 281474976710655 | |
| Data: 0x18160ddd | |
| Return_data: 0x0000000000000000000000000000000000000000033b2e3c9fd0803ce8000001 (*) | |
| Function call: | |
| totalSupply() -> RETURN | |
| return: 1000000000000000000000000001 (*) | |
| Transactions No. 3 | |
| Type: CALL (0) | |
| From: user_account(0x5da83cffb5bab1cd888417a5ecefe37b9e250d67) | |
| To: contract_account(0xafb6d63079413d167770de9c3f50db6477811bdb) | |
| Value: 0 | |
| Gas used: 281474976710655 | |
| Data: 0x70a082310000000000000000000000005da83cffb5bab1cd888417a5ecefe37b9e250d67 | |
| Return_data: 0x0000000000000000000000000000000000000000033b2e3c9fd07e3ce8000001 (*) | |
| Function call: | |
| balanceOf(534687980630689331618847425822969211489979010407) -> RETURN | |
| return: 999999999999997800976744449 (*) | |
| Transactions No. 4 | |
| Type: CALL (0) | |
| From: user_account(0x5da83cffb5bab1cd888417a5ecefe37b9e250d67) | |
| To: contract_account(0xafb6d63079413d167770de9c3f50db6477811bdb) | |
| Value: 0 | |
| Gas used: 281474976710655 | |
| Data: 0x70a08231000000000000000000000000afb6d63079413d167770de9c3f50db6477811bdb | |
| Return_data: 0x0000000000000000000000000000000000000000012020000030000000000000 (*) | |
| Function call: | |
| balanceOf(1003150779044222824843138452687820282225015987163) -> RETURN | |
| return: 348321751789975829844328448 (*) | |
| (*) Example solution given. Value is symbolic and may take other values |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment