mirror of
				https://github.com/ethereum/solidity
				synced 2023-10-03 13:03:40 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			100 lines
		
	
	
		
			3.6 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			100 lines
		
	
	
		
			3.6 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
/*
 | 
						|
	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/>.
 | 
						|
*/
 | 
						|
// SPDX-License-Identifier: GPL-3.0
 | 
						|
 | 
						|
#pragma once
 | 
						|
 | 
						|
#include <libsolutil/Exceptions.h>
 | 
						|
#include <liblangutil/EVMVersion.h>
 | 
						|
 | 
						|
#include <test/evmc/evmc.h>
 | 
						|
 | 
						|
#include <boost/filesystem/path.hpp>
 | 
						|
#include <boost/program_options.hpp>
 | 
						|
 | 
						|
namespace solidity::test
 | 
						|
{
 | 
						|
 | 
						|
#ifdef _WIN32
 | 
						|
static constexpr auto evmoneFilename = "evmone.dll";
 | 
						|
static constexpr auto evmoneDownloadLink = "https://github.com/ethereum/evmone/releases/download/v0.8.0/evmone-0.8.0-windows-amd64.zip";
 | 
						|
static constexpr auto heraFilename = "hera.dll";
 | 
						|
static constexpr auto heraDownloadLink = "https://github.com/ewasm/hera/archive/v0.3.2-evmc8.tar.gz";
 | 
						|
#elif defined(__APPLE__)
 | 
						|
static constexpr auto evmoneFilename = "libevmone.dylib";
 | 
						|
static constexpr auto evmoneDownloadLink = "https://github.com/ethereum/evmone/releases/download/v0.8.0/evmone-0.8.0-darwin-x86_64.tar.gz";
 | 
						|
static constexpr auto heraFilename = "libhera.dylib";
 | 
						|
static constexpr auto heraDownloadLink = "https://github.com/ewasm/hera/releases/download/v0.5.0/hera-0.5.0-darwin-x86_64.tar.gz";
 | 
						|
#else
 | 
						|
static constexpr auto evmoneFilename = "libevmone.so";
 | 
						|
static constexpr auto evmoneDownloadLink = "https://github.com/ethereum/evmone/releases/download/v0.8.0/evmone-0.8.0-linux-x86_64.tar.gz";
 | 
						|
static constexpr auto heraFilename = "libhera.so";
 | 
						|
static constexpr auto heraDownloadLink = "https://github.com/ewasm/hera/releases/download/v0.5.0/hera-0.5.0-linux-x86_64.tar.gz";
 | 
						|
#endif
 | 
						|
 | 
						|
struct ConfigException : public util::Exception {};
 | 
						|
 | 
						|
struct CommonOptions
 | 
						|
{
 | 
						|
	/// Noncopyable.
 | 
						|
	CommonOptions(CommonOptions const&) = delete;
 | 
						|
	CommonOptions& operator=(CommonOptions const&) = delete;
 | 
						|
 | 
						|
	std::vector<boost::filesystem::path> vmPaths;
 | 
						|
	boost::filesystem::path testPath;
 | 
						|
	bool ewasm = false;
 | 
						|
	bool optimize = false;
 | 
						|
	bool enforceViaYul = false;
 | 
						|
	bool enforceCompileToEwasm = false;
 | 
						|
	bool enforceGasTest = false;
 | 
						|
	u256 enforceGasTestMinValue = 100000;
 | 
						|
	bool disableSemanticTests = false;
 | 
						|
	bool disableSMT = false;
 | 
						|
	bool useABIEncoderV1 = false;
 | 
						|
	bool showMessages = false;
 | 
						|
	bool showMetadata = false;
 | 
						|
 | 
						|
	langutil::EVMVersion evmVersion() const;
 | 
						|
 | 
						|
	virtual void addOptions();
 | 
						|
	virtual bool parse(int argc, char const* const* argv);
 | 
						|
	// Throws a ConfigException on error
 | 
						|
	virtual void validate() const;
 | 
						|
 | 
						|
	static CommonOptions const& get();
 | 
						|
	static void setSingleton(std::unique_ptr<CommonOptions const>&& _instance);
 | 
						|
 | 
						|
	CommonOptions(std::string caption = "");
 | 
						|
	virtual ~CommonOptions() {}
 | 
						|
 | 
						|
protected:
 | 
						|
	boost::program_options::options_description options;
 | 
						|
 | 
						|
private:
 | 
						|
	std::string evmVersionString;
 | 
						|
	static std::unique_ptr<CommonOptions const> m_singleton;
 | 
						|
};
 | 
						|
 | 
						|
/// @return true if it is ok to treat the file located under the specified path as a semantic test.
 | 
						|
/// I.e. if the test is located in the semantic test directory and is not excluded due to being a part of external sources.
 | 
						|
/// Note: @p _testPath can be relative but must include at least the `/test/libsolidity/semanticTests/` part
 | 
						|
bool isValidSemanticTestPath(boost::filesystem::path const& _testPath);
 | 
						|
 | 
						|
bool loadVMs(CommonOptions const& _options);
 | 
						|
 | 
						|
}
 |