TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update travis

Browse Source
pull/364/head
Josselin 5 years ago
parent 6e35805137
commit b7b85f5d0a
1 changed files with 6 additions and 3 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 9
      tests/check-kspec/test_1.txt

9
tests/check-kspec/test_1.txt
Unescape View File

@ -1,4 +1,7 @@
## Check for functions coverage
[✓] SafeAdd.add(uint256,uint256)
[ ] (Missing) SafeAdd.add_v2(uint256,uint256)
[ ] (Unresolved) SafeAdd.addv2(uint256,uint256)
[✓] SafeAdd.add(uint256,uint256)

[ ] (Missing function) SafeAdd.add_v2(uint256,uint256)

[ ] (Unresolved) SafeAdd.addv2(uint256,uint256)


Write Preview
Loading…
Cancel
Save