solidity/test/tools/isoltest.cpp

405 lines
9.5 KiB
C++
Raw Normal View History

2018-03-14 18:15:48 +00:00
/*
This file is part of solidity.
solidity is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
solidity is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with solidity. If not, see <http://www.gnu.org/licenses/>.
*/
#include <libdevcore/CommonIO.h>
#include <test/libsolidity/AnalysisFramework.h>
#include <test/libsolidity/SyntaxTest.h>
#include <test/libsolidity/ASTJSONTest.h>
2018-03-14 18:15:48 +00:00
#include <boost/algorithm/string.hpp>
2018-03-14 18:15:48 +00:00
#include <boost/algorithm/string/replace.hpp>
#include <boost/filesystem.hpp>
#include <boost/program_options.hpp>
#include <cstdlib>
#include <iostream>
#include <fstream>
#include <queue>
#if defined(_WIN32)
#include <windows.h>
#endif
2018-03-14 18:15:48 +00:00
using namespace dev;
using namespace dev::solidity;
using namespace dev::solidity::test;
using namespace dev::solidity::test::formatting;
using namespace std;
namespace po = boost::program_options;
namespace fs = boost::filesystem;
struct TestStats
2018-03-14 18:15:48 +00:00
{
int successCount;
int testCount;
operator bool() const { return successCount == testCount; }
2018-03-14 18:15:48 +00:00
};
class TestTool
2018-03-14 18:15:48 +00:00
{
public:
TestTool(
TestCase::TestCaseCreator _testCaseCreator,
string const& _name,
fs::path const& _path,
bool _formatted
): m_testCaseCreator(_testCaseCreator), m_formatted(_formatted), m_name(_name), m_path(_path)
2018-03-14 18:15:48 +00:00
{}
enum class Result
{
Success,
Failure,
Exception
2018-03-14 18:15:48 +00:00
};
Result process();
static TestStats processPath(
TestCase::TestCaseCreator _testCaseCreator,
2018-03-14 18:15:48 +00:00
fs::path const& _basepath,
fs::path const& _path,
bool const _formatted
);
static string editor;
private:
enum class Request
{
Skip,
Rerun,
Quit
};
Request handleResponse(bool const _exception);
2018-03-14 18:15:48 +00:00
TestCase::TestCaseCreator m_testCaseCreator;
2018-08-07 19:23:01 +00:00
bool const m_formatted = false;
2018-03-14 18:15:48 +00:00
string const m_name;
fs::path const m_path;
unique_ptr<TestCase> m_test;
static bool m_exitRequested;
2018-03-14 18:15:48 +00:00
};
string TestTool::editor;
bool TestTool::m_exitRequested = false;
2018-03-14 18:15:48 +00:00
TestTool::Result TestTool::process()
2018-03-14 18:15:48 +00:00
{
bool success;
std::stringstream outputMessages;
(FormattedScope(cout, m_formatted, {BOLD}) << m_name << ": ").flush();
try
{
m_test = m_testCaseCreator(m_path.string());
2018-03-14 18:15:48 +00:00
success = m_test->run(outputMessages, " ", m_formatted);
}
catch(boost::exception const& _e)
2018-03-14 18:15:48 +00:00
{
FormattedScope(cout, m_formatted, {BOLD, RED}) <<
"Exception during syntax test: " << boost::diagnostic_information(_e) << endl;
return Result::Exception;
}
catch (std::exception const& _e)
{
FormattedScope(cout, m_formatted, {BOLD, RED}) <<
"Exception during syntax test: " << _e.what() << endl;
return Result::Exception;
}
catch (...)
{
FormattedScope(cout, m_formatted, {BOLD, RED}) <<
"Unknown exception during syntax test." << endl;
return Result::Exception;
2018-03-14 18:15:48 +00:00
}
if (success)
{
FormattedScope(cout, m_formatted, {BOLD, GREEN}) << "OK" << endl;
return Result::Success;
}
else
{
FormattedScope(cout, m_formatted, {BOLD, RED}) << "FAIL" << endl;
FormattedScope(cout, m_formatted, {BOLD, CYAN}) << " Contract:" << endl;
m_test->printSource(cout, " ", m_formatted);
2018-03-14 18:15:48 +00:00
cout << endl << outputMessages.str() << endl;
return Result::Failure;
2018-03-14 18:15:48 +00:00
}
}
TestTool::Request TestTool::handleResponse(bool const _exception)
2018-03-14 18:15:48 +00:00
{
if (_exception)
2018-03-14 18:15:48 +00:00
cout << "(e)dit/(s)kip/(q)uit? ";
else
cout << "(e)dit/(u)pdate expectations/(s)kip/(q)uit? ";
cout.flush();
while (true)
{
switch(readStandardInputChar())
{
case 's':
cout << endl;
return Request::Skip;
case 'u':
if (_exception)
2018-03-14 18:15:48 +00:00
break;
else
{
cout << endl;
ofstream file(m_path.string(), ios::trunc);
m_test->printSource(file);
2018-03-14 18:15:48 +00:00
file << "// ----" << endl;
m_test->printUpdatedExpectations(file, "// ");
2018-03-14 18:15:48 +00:00
return Request::Rerun;
}
case 'e':
cout << endl << endl;
if (system((TestTool::editor + " \"" + m_path.string() + "\"").c_str()))
2018-03-14 18:15:48 +00:00
cerr << "Error running editor command." << endl << endl;
return Request::Rerun;
case 'q':
cout << endl;
return Request::Quit;
default:
break;
}
}
}
TestStats TestTool::processPath(
TestCase::TestCaseCreator _testCaseCreator,
2018-03-14 18:15:48 +00:00
fs::path const& _basepath,
fs::path const& _path,
bool const _formatted
)
{
std::queue<fs::path> paths;
paths.push(_path);
int successCount = 0;
int testCount = 0;
2018-03-14 18:15:48 +00:00
while (!paths.empty())
{
auto currentPath = paths.front();
fs::path fullpath = _basepath / currentPath;
if (fs::is_directory(fullpath))
{
paths.pop();
for (auto const& entry: boost::iterator_range<fs::directory_iterator>(
fs::directory_iterator(fullpath),
fs::directory_iterator()
))
if (fs::is_directory(entry.path()) || TestCase::isTestFilename(entry.path().filename()))
paths.push(currentPath / entry.path().filename());
2018-03-14 18:15:48 +00:00
}
else if (m_exitRequested)
{
++testCount;
paths.pop();
}
2018-03-14 18:15:48 +00:00
else
{
++testCount;
TestTool testTool(_testCaseCreator, currentPath.string(), fullpath, _formatted);
2018-03-14 18:15:48 +00:00
auto result = testTool.process();
switch(result)
{
case Result::Failure:
case Result::Exception:
switch(testTool.handleResponse(result == Result::Exception))
2018-03-14 18:15:48 +00:00
{
case Request::Quit:
paths.pop();
m_exitRequested = true;
break;
2018-03-14 18:15:48 +00:00
case Request::Rerun:
cout << "Re-running test case..." << endl;
--testCount;
2018-03-14 18:15:48 +00:00
break;
case Request::Skip:
paths.pop();
break;
}
break;
case Result::Success:
paths.pop();
++successCount;
break;
}
}
}
return { successCount, testCount };
2018-03-14 18:15:48 +00:00
}
2018-10-09 13:25:28 +00:00
namespace
{
void setupTerminal()
{
#if defined(_WIN32) && defined(ENABLE_VIRTUAL_TERMINAL_PROCESSING)
// Set output mode to handle virtual terminal (ANSI escape sequences)
// ignore any error, as this is just a "nice-to-have"
// only windows needs to be taken care of, as other platforms (Linux/OSX) support them natively.
HANDLE hOut = GetStdHandle(STD_OUTPUT_HANDLE);
if (hOut == INVALID_HANDLE_VALUE)
return;
DWORD dwMode = 0;
if (!GetConsoleMode(hOut, &dwMode))
return;
dwMode |= ENABLE_VIRTUAL_TERMINAL_PROCESSING;
if (!SetConsoleMode(hOut, dwMode))
return;
#endif
}
2018-10-09 13:25:28 +00:00
fs::path discoverTestPath()
{
auto const searchPath =
{
fs::current_path() / ".." / ".." / ".." / "test",
fs::current_path() / ".." / ".." / "test",
fs::current_path() / ".." / "test",
fs::current_path() / "test",
fs::current_path()
};
for (auto const& basePath: searchPath)
{
fs::path syntaxTestPath = basePath / "libsolidity" / "syntaxTests";
if (fs::exists(syntaxTestPath) && fs::is_directory(syntaxTestPath))
return basePath;
}
return {};
}
}
2018-03-14 18:15:48 +00:00
int main(int argc, char *argv[])
{
setupTerminal();
2018-03-14 18:15:48 +00:00
if (getenv("EDITOR"))
TestTool::editor = getenv("EDITOR");
2018-03-15 17:20:06 +00:00
else if (fs::exists("/usr/bin/editor"))
TestTool::editor = "/usr/bin/editor";
2018-03-14 18:15:48 +00:00
fs::path testPath;
bool formatted = true;
po::options_description options(
R"(isoltest, tool for interactively managing test contracts.
Usage: isoltest [Options] --testpath path
Interactively validates test contracts.
Allowed options)",
po::options_description::m_default_line_length,
po::options_description::m_default_line_length - 23);
options.add_options()
("help", "Show this help screen.")
("testpath", po::value<fs::path>(&testPath), "path to test files")
("no-color", "don't use colors")
("editor", po::value<string>(&TestTool::editor), "editor for opening contracts");
2018-03-14 18:15:48 +00:00
po::variables_map arguments;
try
{
po::command_line_parser cmdLineParser(argc, argv);
cmdLineParser.options(options);
po::store(cmdLineParser.run(), arguments);
if (arguments.count("help"))
{
cout << options << endl;
return 0;
}
if (arguments.count("no-color"))
formatted = false;
po::notify(arguments);
}
catch (std::exception const& _exception)
2018-03-14 18:15:48 +00:00
{
cerr << _exception.what() << endl;
return 1;
}
if (testPath.empty())
2018-10-09 13:25:28 +00:00
testPath = discoverTestPath();
2018-03-14 18:15:48 +00:00
TestStats global_stats { 0, 0 };
2018-03-14 18:15:48 +00:00
fs::path syntaxTestPath = testPath / "libsolidity" / "syntaxTests";
if (fs::exists(syntaxTestPath) && fs::is_directory(syntaxTestPath))
{
auto stats = TestTool::processPath(SyntaxTest::create, testPath / "libsolidity", "syntaxTests", formatted);
2018-03-14 18:15:48 +00:00
cout << endl << "Syntax Test Summary: ";
2018-03-14 18:15:48 +00:00
FormattedScope(cout, formatted, {BOLD, stats ? GREEN : RED}) <<
stats.successCount << "/" << stats.testCount;
cout << " tests successful." << endl << endl;
2018-03-14 18:15:48 +00:00
global_stats.testCount += stats.testCount;
global_stats.successCount += stats.successCount;
2018-03-14 18:15:48 +00:00
}
else
{
cerr << "Syntax tests not found. Use the --testpath argument." << endl;
2018-03-14 18:15:48 +00:00
return 1;
}
fs::path astJsonTestPath = testPath / "libsolidity" / "ASTJSON";
if (fs::exists(astJsonTestPath) && fs::is_directory(astJsonTestPath))
{
auto stats = TestTool::processPath(ASTJSONTest::create, testPath / "libsolidity", "ASTJSON", formatted);
cout << endl << "JSON AST Test Summary: ";
FormattedScope(cout, formatted, {BOLD, stats ? GREEN : RED}) <<
stats.successCount << "/" << stats.testCount;
cout << " tests successful." << endl << endl;
global_stats.testCount += stats.testCount;
global_stats.successCount += stats.successCount;
}
else
{
cerr << "JSON AST tests not found." << endl;
return 1;
}
cout << endl << "Summary: ";
FormattedScope(cout, formatted, {BOLD, global_stats ? GREEN : RED}) <<
global_stats.successCount << "/" << global_stats.testCount;
cout << " tests successful." << endl;
return global_stats ? 0 : 1;
2018-03-14 18:15:48 +00:00
}