Add Semaphore
extension
#70
Annotations
6 warnings
style
imported name CheckStatus is not used
|
style
Found more than One contract per file. 3 contracts found!
|
style
Found more than One contract per file. 3 contracts found!
|
style
Found more than One contract per file. 3 contracts found!
|
style
Contract has 17 states declarations but allowed no more than 15
|
style
Contract has 22 states declarations but allowed no more than 15
|