Shape Playground
Shape programs compile, verify and run inside your browser as WebAssembly.
Shape source
func add(a: Int, b: Int) -> Int: requires a >= -100 requires b >= -100 ensures result == a + b a + b func main() -> Int effects io: let total: Int = 0 let i: Int = 0 while i < 10: set total = total + i set i = i + 1 print(total) add(total, 12)
Run
Result
Verified
—
Obligations
—
Program output
Return value
—