/* 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 . */ #pragma once #include #include #include namespace dev { namespace solidity { namespace test { class SMTCheckerTest: public SyntaxTest { public: static std::unique_ptr create(std::string const& _filename) { return std::unique_ptr(new SMTCheckerTest(_filename)); } SMTCheckerTest(std::string const& _filename); bool run(std::ostream& _stream, std::string const& _linePrefix = "", bool const _formatted = false) override; private: std::vector hashesFromJson(Json::Value const& _jsonObj, std::string const& _auxInput, std::string const& _smtlib); Json::Value buildJson(std::string const& _extra); Json::Value m_smtResponses; }; } } } h' onchange='this.form.submit();'> FreeBSD Ports (https://github.com/freebsd/freebsd-ports)
aboutsummaryrefslogtreecommitdiffstats
path: root/math/suitesparse
Commit message (Expand)AuthorAgeFilesLines
* Fix typo for OpenBLAS option (1), and remove gotoblas option.maho2015-04-041-5/+2
* math category: Remove $PTHREAD_LIBSmarino2015-03-251-1/+0