liangdzou 558a4ac49c give more information (at most 35 chars before and after) for too long lines ... add tests for giving more informations for too long lines add edge tests for giving more informations for too long lines avoid printing out tailing white space update test case after avoiding printing out trailing whitespace update test case for removing the pre-release warning from reference refactor the code to if-else flavor rename folder to cmdlineErrorReports under test rename folder to cmdlineErrorReports under test ignore whitespace for reference files avoiding to modify the file stderr_path by call sed without -i option print ' ...' instead of ' ... ' at the end of a line		2018-09-13 09:55:54 +08:00
..
analysis	Accept `address payable` during parsing.	2018-09-11 14:52:23 +02:00
ast	Accept `address payable` during parsing.	2018-09-11 14:52:23 +02:00
codegen	Always perform cleanup for EXP.	2018-09-10 12:47:46 +02:00
formal	Split IntegerType into IntegerType and AddressType.	2018-09-05 12:19:14 +02:00
inlineasm	Merge pull request #4753 from mattaereal/boost-to-string-patch	2018-08-08 16:07:25 +01:00
interface	give more information (at most 35 chars before and after) for too long lines	2018-09-13 09:55:54 +08:00
parsing	Accept `address payable` during parsing.	2018-09-11 14:52:23 +02:00
CMakeLists.txt	Do not force GMP to be present as dependency of CVC4, but also allow CLN instead.	2018-08-08 19:02:59 +02:00