Skip to content
Permalink
Branch: master
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
12 lines (10 sloc) 120 Bytes
int foo(int n)
[[expects axiom: n < 10]]
{
return n*n;
}
int main()
{
foo(100);
return 0;
}
You can’t perform that action at this time.