Skip to content

Instantly share code, notes, and snippets.

@agentzh

agentzh/return.stp Secret

Created June 15, 2020 18:30
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save agentzh/b44384ad9f3804d85ddfbf771094a718 to your computer and use it in GitHub Desktop.
Save agentzh/b44384ad9f3804d85ddfbf771094a718 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
return.stp
function f() {
println("enter f");
println("leave f");
return;
}
probe oneshot {
f();
printf("exit\n");
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment