Questions tagged [z3]
The z3 tag has no usage guidance.
1
question
3
votes
1
answer
55
views
What is a minimal symbolic execution example?
I'd like to see a minimal symbolic execution / formal verification example using the following function:
function f(uint256 a) public returns(uint256){
a = a + 1;
return a;
}
What would that look ...
- 10.2k