Gradual Verification Playground displayed semantics: examples: X 1 2 3 4 5 6 7 8

Precondition
Code
Postcondition


Syntax


Context (the classes you can instantiate and use)