Skip to content
#

ada

Here are 358 public repositories matching this topic...

yoroi-frontend
senier
senier commented Sep 14, 2019

When building the IP sniffer test, I forgot to run Verify_Message before checking Structural_Valid_Message. While this was not a correctness issue (the context of cause was invalid), it took me some time to realize that. I wonder if we should add a predicate to those convenience operations that work on a whole message that states/requires that a verification has been attempted on a context. Th

Improve this page

Add a description, image, and links to the ada topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ada topic, visit your repo's landing page and select "manage topics."

Learn more

You can’t perform that action at this time.