From 0ff4cbe51ba653397a1937c8c08b3d09541492ef Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Thu, 15 Nov 2018 16:47:52 +0100 Subject: Add SMTChecker tests for standard JSON --- test/libsolidity/SyntaxTest.cpp | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'test/libsolidity/SyntaxTest.cpp') diff --git a/test/libsolidity/SyntaxTest.cpp b/test/libsolidity/SyntaxTest.cpp index 45d32b55..c47ea599 100644 --- a/test/libsolidity/SyntaxTest.cpp +++ b/test/libsolidity/SyntaxTest.cpp @@ -92,6 +92,11 @@ bool SyntaxTest::run(ostream& _stream, string const& _linePrefix, bool const _fo }); } + return printExpectationAndError(_stream, _linePrefix, _formatted); +} + +bool SyntaxTest::printExpectationAndError(ostream& _stream, string const& _linePrefix, bool const _formatted) +{ if (m_expectations != m_errorList) { string nextIndentLevel = _linePrefix + " "; -- cgit