Repository navigation
Extend clang lexer to support contract-keywords and gate behind -fverify-contracts
#2
| Job | Run time |
|---|---|
| -1s | |
| -1s |
-fverify-contracts
#2
| Job | Run time |
|---|---|
| -1s | |
| -1s |