Skip to content

Commit 4839ba9

Browse files
committed
style: deleted local files
1 parent 9b704ad commit 4839ba9

File tree

6 files changed

+6
-235
lines changed

6 files changed

+6
-235
lines changed

.github/dependabot.yml

Lines changed: 0 additions & 6 deletions
This file was deleted.

.github/workflows/ci.yml

Lines changed: 0 additions & 34 deletions
This file was deleted.

.github/workflows/echidna.yml

Lines changed: 0 additions & 169 deletions
This file was deleted.

.gitignore

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1 +1,3 @@
11
.DS_Store
2+
.github
3+
.vscode

.vscode/settings.json

Lines changed: 0 additions & 22 deletions
This file was deleted.

program-analysis/echidna/Exercise-8.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -64,10 +64,10 @@ $ echidna-test . --contract EchidnaRewarder --config ./the-rewarder.yaml
6464

6565
testRewards(): failed!💥
6666
Call sequence:
67-
*wait* Time delay: 432413 seconds Block delay: 423
68-
setNumArray(0,17112277818319766014183,0) from: 0x0000000000000000000000000000000000030000
69-
generateFuncsToCall(3251646757452933788280062325554330880756484578787) from: 0x0000000000000000000000000000000000030000
70-
flashLoan() from: 0x0000000000000000000000000000000000030000
67+
*wait* Time delay: 441523 seconds Block delay: 9454
68+
setEnableDeposit(true) from: 0x0000000000000000000000000000000000030000
69+
setEnableWithdrawal(true) from: 0x0000000000000000000000000000000000030000
70+
flashLoan(39652220640884191256808) from: 0x0000000000000000000000000000000000030000
7171
testRewards() from: 0x0000000000000000000000000000000000030000
7272

7373
...

0 commit comments

Comments
 (0)