Skip to content

Instantly share code, notes, and snippets.

@andy8052

andy8052/klaberrors.txt

Last active July 23, 2019 13:37
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 andy8052/4dc2f8e0e7f094849c6668233fce392c to your computer and use it in GitHub Desktop.
Save andy8052/4dc2f8e0e7f094849c6668233fce392c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
klaberrors.txt
k-mcd-collateral on  master [⇣✘!]
➜ klab build
fa0d22d3581152d077f5a793eca1cfa70a199bd5e6c1d94482bba360ec2d0a24 PausableToken__exhaustiveness
9a9b49537997e575140de9f9afcf62116a02f680ee87007e09694b9b0e5597ab PausableToken_transferFrom_pass_rough
5ea25614b939281497dc4467908cfe27e90275a76b0e38960e21cc8b259fa48f PausableToken_transferFrom_fail_rough
e98ddb267d2ed88fa7ade5fe87286a0dc12dad5df794d89f5b1a10b115c9e514 PausableToken_transfer_pass_rough
5341448bf3b07bc5c3ee826e3fd77a6976aa4f76b77acac3c3c3ed814c5cc4d2 PausableToken_transfer_fail_rough
write rules.k
k-mcd-collateral on  master [⇣✘!]
➜ klab focus PausableToken_transferFrom_pass_rough
9a9b49537997e575140de9f9afcf62116a02f680ee87007e09694b9b0e5597ab PausableToken_transferFrom_pass_rough
k-mcd-collateral on  master [⇣✘!]
➜ klab prove --dump
Using evm-semantics from /Users/andychorlian/klab/evm-semantics
Proof STARTING: 9a9b49537997e575140de9f9afcf62116a02f680ee87007e09694b9b0e5597ab.k [PausableToken_transferFrom_pass_rough] (with state logging)
/usr/local/bin/../libexec/klab-prove: line 95: timeout: command not found
Proof 127 REJECT: 9a9b49537997e575140de9f9afcf62116a02f680ee87007e09694b9b0e5597ab.k [PausableToken_transferFrom_pass_rough] (with state logging)
k-mcd-collateral on  master [⇣✘!]
➜ klab prove 9a9b49537997e575140de9f9afcf62116a02f680ee87007e09694b9b0e5597ab --dump
Using evm-semantics from /Users/andychorlian/klab/evm-semantics
Proof STARTING: 9a9b49537997e575140de9f9afcf62116a02f680ee87007e09694b9b0e5597ab.k [PausableToken_transferFrom_pass_rough] (with state logging)
/usr/local/bin/../libexec/klab-prove: line 95: timeout: command not found
Proof 127 REJECT: 9a9b49537997e575140de9f9afcf62116a02f680ee87007e09694b9b0e5597ab.k [PausableToken_transferFrom_pass_rough] (with state logging)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment