cerc-io/solidity
16
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
831ed08387
solidity/libsolidity/formal
History
Rhett Aultman 89b60ffbd4 Refactor error reporting 
This commit introduces ErrorReporter, a utility class which consolidates
all of the error logging functionality into a common set of functions.
It also replaces all direct interactions with an ErrorList with calls to
an ErrorReporter.

This commit resolves issue #2209
2017-05-30 07:28:31 -07:00
..
Why3Translator.cpp Refactor error reporting 2017-05-30 07:28:31 -07:00
Why3Translator.h Refactor error reporting 2017-05-30 07:28:31 -07:00