-
Notifications
You must be signed in to change notification settings - Fork 2
Add Scilla map test case #2985
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
base: main
Are you sure you want to change the base?
Add Scilla map test case #2985
Conversation
Add Scilla map edge case test from Chetan. It currently fails.
| .request("GetSmartContractState", [contract_address]) | ||
| .await | ||
| .unwrap(); | ||
| info!("State: {state}"); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Did you want to assert on sth here perhaps?
| .request("GetSmartContractState", [contract_address]) | ||
| .await | ||
| .unwrap(); | ||
| info!("State: {state}"); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Same here
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I used these logs when debugging the state problems to find out what the state was at each stage. The failures usually happen in the send_transaction call when the transaction is not successful.
Add Scilla map edge case test from Chetan. It currently fails.