Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

vmtest calldataload1 yields "Some post conditions not available" #463

Open
pirapira opened this issue Nov 23, 2017 · 3 comments
Open

vmtest calldataload1 yields "Some post conditions not available" #463

pirapira opened this issue Nov 23, 2017 · 3 comments

Comments

@pirapira
Copy link
Owner

pirapira commented Nov 23, 2017

When I update the ./tests submodule to 6df9b4ad039ff0043ca75579979f945598898eb3, I see a fatal error

tester$ ./runVmTest.native calldataload
===========================test case: calldataload1
code: 0x600135600055
Fatal error: exception Failure("Some post conditions not available")

Is this a problem in the test format or ./runVmTest.native?

@pirapira
Copy link
Owner Author

@ylya reported a similar issue.

@pirapira
Copy link
Owner Author

@pirapira
Copy link
Owner Author

The commit added many 0x in front of addresses. Maybe this is one cause.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant