cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
terminate-with-dot
solidity/test/libsolidity/smtCheckerTests
T
History
Mathias Baumann 1eda206552 Make sure all errors/warnings terminate with ".", "?" or "!"
2020-01-08 16:26:00 +01:00
..
complex
Use quote function for all errors/warnings
2020-01-08 16:12:06 +01:00
control_flow
Make sure all errors/warnings terminate with ".", "?" or "!"
2020-01-08 16:26:00 +01:00
functions
Make sure all errors/warnings terminate with ".", "?" or "!"
2020-01-08 16:26:00 +01:00
inheritance
Make sure all errors/warnings terminate with ".", "?" or "!"
2020-01-08 16:26:00 +01:00
inline_assembly
Fix wrong location for inline asm blocks
2019-04-15 16:40:07 +02:00
invariants
Make sure all errors/warnings terminate with ".", "?" or "!"
2020-01-08 16:26:00 +01:00
loops
Make sure all errors/warnings terminate with ".", "?" or "!"
2020-01-08 16:26:00 +01:00
modifiers
Make sure all errors/warnings terminate with ".", "?" or "!"
2020-01-08 16:26:00 +01:00
operators
Make sure all errors/warnings terminate with ".", "?" or "!"
2020-01-08 16:26:00 +01:00
overflow
Make sure all errors/warnings terminate with ".", "?" or "!"
2020-01-08 16:26:00 +01:00
simple
[SMTChecker] Shortcut RationalNumber expressions
2019-03-11 12:53:49 +01:00
special
Make sure all errors/warnings terminate with ".", "?" or "!"
2020-01-08 16:26:00 +01:00
typecast
Make sure all errors/warnings terminate with ".", "?" or "!"
2020-01-08 16:26:00 +01:00
types
Make sure all errors/warnings terminate with ".", "?" or "!"
2020-01-08 16:26:00 +01:00
verification_target
Make sure all errors/warnings terminate with ".", "?" or "!"
2020-01-08 16:26:00 +01:00