diff options
author | Mathias Baumann <marenz@supradigital.org> | 2018-12-06 01:00:23 +0800 |
---|---|---|
committer | Mathias Baumann <marenz@supradigital.org> | 2018-12-10 23:49:33 +0800 |
commit | 55d7d327c4d71eacb4bc2ec48c047fbf2407668c (patch) | |
tree | 4949152bf3b10167afa2d46b3eea920ff9592aff /test/InteractiveTests.h | |
parent | 871ea22bb9158e23254406d21673cfbeda2d7138 (diff) | |
download | dexon-solidity-55d7d327c4d71eacb4bc2ec48c047fbf2407668c.tar.gz dexon-solidity-55d7d327c4d71eacb4bc2ec48c047fbf2407668c.tar.zst dexon-solidity-55d7d327c4d71eacb4bc2ec48c047fbf2407668c.zip |
Have only one source where testsuits are defined
Diffstat (limited to 'test/InteractiveTests.h')
-rw-r--r-- | test/InteractiveTests.h | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/test/InteractiveTests.h b/test/InteractiveTests.h new file mode 100644 index 00000000..be076059 --- /dev/null +++ b/test/InteractiveTests.h @@ -0,0 +1,63 @@ +/* + 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/>. +*/ + +#pragma once + +#include <test/TestCase.h> +#include <test/libsolidity/ASTJSONTest.h> +#include <test/libsolidity/SyntaxTest.h> +#include <test/libsolidity/SMTCheckerJSONTest.h> +#include <test/libyul/YulOptimizerTest.h> +#include <test/libyul/ObjectCompilerTest.h> + +#include <boost/filesystem.hpp> + +namespace dev +{ +namespace solidity +{ +namespace test +{ + +/** Container for all information regarding a testsuite */ +struct Testsuite +{ + char const* title; + boost::filesystem::path const path; + boost::filesystem::path const subpath; + bool smt; + bool ipc; + TestCase::TestCaseCreator testCaseCreator; +}; + + +/// Array of testsuits that can be run interactively as well as automatically +Testsuite const g_interactiveTestsuites[] = { +/* + Title Path Subpath SMT IPC Creator function */ + {"Yul Optimizer", "libyul", "yulOptimizerTests", false, false, &yul::test::YulOptimizerTest::create}, + {"Yul Object Compiler", "libyul", "objectCompiler", false, false, &yul::test::ObjectCompilerTest::create}, + {"Syntax", "libsolidity", "syntaxTests", false, false, &SyntaxTest::create}, + {"JSON AST", "libsolidity", "ASTJSON", false, false, &ASTJSONTest::create}, + {"SMT Checker", "libsolidity", "smtCheckerTests", true, false, &SyntaxTest::create}, + {"SMT Checker JSON", "libsolidity", "smtCheckerTestsJSON", true, false, &SMTCheckerTest::create} +}; + +} +} +} + |