1b0d29bc4SBrooks Davis // Copyright 2014 The Kyua Authors. 2b0d29bc4SBrooks Davis // All rights reserved. 3b0d29bc4SBrooks Davis // 4b0d29bc4SBrooks Davis // Redistribution and use in source and binary forms, with or without 5b0d29bc4SBrooks Davis // modification, are permitted provided that the following conditions are 6b0d29bc4SBrooks Davis // met: 7b0d29bc4SBrooks Davis // 8b0d29bc4SBrooks Davis // * Redistributions of source code must retain the above copyright 9b0d29bc4SBrooks Davis // notice, this list of conditions and the following disclaimer. 10b0d29bc4SBrooks Davis // * Redistributions in binary form must reproduce the above copyright 11b0d29bc4SBrooks Davis // notice, this list of conditions and the following disclaimer in the 12b0d29bc4SBrooks Davis // documentation and/or other materials provided with the distribution. 13b0d29bc4SBrooks Davis // * Neither the name of Google Inc. nor the names of its contributors 14b0d29bc4SBrooks Davis // may be used to endorse or promote products derived from this software 15b0d29bc4SBrooks Davis // without specific prior written permission. 16b0d29bc4SBrooks Davis // 17b0d29bc4SBrooks Davis // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 18b0d29bc4SBrooks Davis // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 19b0d29bc4SBrooks Davis // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 20b0d29bc4SBrooks Davis // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 21b0d29bc4SBrooks Davis // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 22b0d29bc4SBrooks Davis // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 23b0d29bc4SBrooks Davis // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 24b0d29bc4SBrooks Davis // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 25b0d29bc4SBrooks Davis // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 26b0d29bc4SBrooks Davis // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 27b0d29bc4SBrooks Davis // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 28b0d29bc4SBrooks Davis 29b0d29bc4SBrooks Davis #include "engine/plain.hpp" 30b0d29bc4SBrooks Davis 31b0d29bc4SBrooks Davis extern "C" { 32b0d29bc4SBrooks Davis #include <unistd.h> 33b0d29bc4SBrooks Davis } 34b0d29bc4SBrooks Davis 35b0d29bc4SBrooks Davis #include <cstdlib> 36b0d29bc4SBrooks Davis 37257e70f1SIgor Ostapenko #include "engine/execenv/execenv.hpp" 38b0d29bc4SBrooks Davis #include "model/test_case.hpp" 39b0d29bc4SBrooks Davis #include "model/test_program.hpp" 40b0d29bc4SBrooks Davis #include "model/test_result.hpp" 41b0d29bc4SBrooks Davis #include "utils/defs.hpp" 42b0d29bc4SBrooks Davis #include "utils/env.hpp" 43b0d29bc4SBrooks Davis #include "utils/format/macros.hpp" 44b0d29bc4SBrooks Davis #include "utils/fs/path.hpp" 45b0d29bc4SBrooks Davis #include "utils/optional.ipp" 46b0d29bc4SBrooks Davis #include "utils/process/operations.hpp" 47b0d29bc4SBrooks Davis #include "utils/process/status.hpp" 48b0d29bc4SBrooks Davis #include "utils/sanity.hpp" 49b0d29bc4SBrooks Davis 50b0d29bc4SBrooks Davis namespace config = utils::config; 51257e70f1SIgor Ostapenko namespace execenv = engine::execenv; 52b0d29bc4SBrooks Davis namespace fs = utils::fs; 53b0d29bc4SBrooks Davis namespace process = utils::process; 54b0d29bc4SBrooks Davis 55b0d29bc4SBrooks Davis using utils::optional; 56b0d29bc4SBrooks Davis 57b0d29bc4SBrooks Davis 58b0d29bc4SBrooks Davis /// Executes a test program's list operation. 59b0d29bc4SBrooks Davis /// 60b0d29bc4SBrooks Davis /// This method is intended to be called within a subprocess and is expected 61b0d29bc4SBrooks Davis /// to terminate execution either by exec(2)ing the test program or by 62b0d29bc4SBrooks Davis /// exiting with a failure. 63b0d29bc4SBrooks Davis void 64b0d29bc4SBrooks Davis engine::plain_interface::exec_list( 65b0d29bc4SBrooks Davis const model::test_program& /* test_program */, 66b0d29bc4SBrooks Davis const config::properties_map& /* vars */) const 67b0d29bc4SBrooks Davis { 68b0d29bc4SBrooks Davis ::_exit(EXIT_SUCCESS); 69b0d29bc4SBrooks Davis } 70b0d29bc4SBrooks Davis 71b0d29bc4SBrooks Davis 72b0d29bc4SBrooks Davis /// Computes the test cases list of a test program. 73b0d29bc4SBrooks Davis /// 74b0d29bc4SBrooks Davis /// \return A list of test cases. 75b0d29bc4SBrooks Davis model::test_cases_map 76b0d29bc4SBrooks Davis engine::plain_interface::parse_list( 77b0d29bc4SBrooks Davis const optional< process::status >& /* status */, 78b0d29bc4SBrooks Davis const fs::path& /* stdout_path */, 79b0d29bc4SBrooks Davis const fs::path& /* stderr_path */) const 80b0d29bc4SBrooks Davis { 81b0d29bc4SBrooks Davis return model::test_cases_map_builder().add("main").build(); 82b0d29bc4SBrooks Davis } 83b0d29bc4SBrooks Davis 84b0d29bc4SBrooks Davis 85b0d29bc4SBrooks Davis /// Executes a test case of the test program. 86b0d29bc4SBrooks Davis /// 87b0d29bc4SBrooks Davis /// This method is intended to be called within a subprocess and is expected 88b0d29bc4SBrooks Davis /// to terminate execution either by exec(2)ing the test program or by 89b0d29bc4SBrooks Davis /// exiting with a failure. 90b0d29bc4SBrooks Davis /// 91b0d29bc4SBrooks Davis /// \param test_program The test program to execute. 92b0d29bc4SBrooks Davis /// \param test_case_name Name of the test case to invoke. 93b0d29bc4SBrooks Davis /// \param vars User-provided variables to pass to the test program. 94b0d29bc4SBrooks Davis void 95b0d29bc4SBrooks Davis engine::plain_interface::exec_test( 96b0d29bc4SBrooks Davis const model::test_program& test_program, 97b0d29bc4SBrooks Davis const std::string& test_case_name, 98b0d29bc4SBrooks Davis const config::properties_map& vars, 99b0d29bc4SBrooks Davis const fs::path& /* control_directory */) const 100b0d29bc4SBrooks Davis { 101b0d29bc4SBrooks Davis PRE(test_case_name == "main"); 102b0d29bc4SBrooks Davis 103b0d29bc4SBrooks Davis for (config::properties_map::const_iterator iter = vars.begin(); 104b0d29bc4SBrooks Davis iter != vars.end(); ++iter) { 105b0d29bc4SBrooks Davis utils::setenv(F("TEST_ENV_%s") % (*iter).first, (*iter).second); 106b0d29bc4SBrooks Davis } 107b0d29bc4SBrooks Davis 108b0d29bc4SBrooks Davis process::args_vector args; 109257e70f1SIgor Ostapenko 110257e70f1SIgor Ostapenko auto e = execenv::get(test_program, test_case_name); 111257e70f1SIgor Ostapenko e->init(); 112257e70f1SIgor Ostapenko e->exec(args); 113*47fb5d2bSBrooks Davis __builtin_unreachable(); 114b0d29bc4SBrooks Davis } 115b0d29bc4SBrooks Davis 116b0d29bc4SBrooks Davis 117b0d29bc4SBrooks Davis /// Computes the result of a test case based on its termination status. 118b0d29bc4SBrooks Davis /// 119b0d29bc4SBrooks Davis /// \param status The termination status of the subprocess used to execute 120b0d29bc4SBrooks Davis /// the exec_test() method or none if the test timed out. 121b0d29bc4SBrooks Davis /// 122b0d29bc4SBrooks Davis /// \return A test result. 123b0d29bc4SBrooks Davis model::test_result 124b0d29bc4SBrooks Davis engine::plain_interface::compute_result( 125b0d29bc4SBrooks Davis const optional< process::status >& status, 126b0d29bc4SBrooks Davis const fs::path& /* control_directory */, 127b0d29bc4SBrooks Davis const fs::path& /* stdout_path */, 128b0d29bc4SBrooks Davis const fs::path& /* stderr_path */) const 129b0d29bc4SBrooks Davis { 130b0d29bc4SBrooks Davis if (!status) { 131b0d29bc4SBrooks Davis return model::test_result(model::test_result_broken, 132b0d29bc4SBrooks Davis "Test case timed out"); 133b0d29bc4SBrooks Davis } 134b0d29bc4SBrooks Davis 135b0d29bc4SBrooks Davis if (status.get().exited()) { 136b0d29bc4SBrooks Davis const int exitstatus = status.get().exitstatus(); 137b0d29bc4SBrooks Davis if (exitstatus == EXIT_SUCCESS) { 138b0d29bc4SBrooks Davis return model::test_result(model::test_result_passed); 139b0d29bc4SBrooks Davis } else { 140b0d29bc4SBrooks Davis return model::test_result( 141b0d29bc4SBrooks Davis model::test_result_failed, 142b0d29bc4SBrooks Davis F("Returned non-success exit status %s") % exitstatus); 143b0d29bc4SBrooks Davis } 144b0d29bc4SBrooks Davis } else { 145b0d29bc4SBrooks Davis return model::test_result( 146b0d29bc4SBrooks Davis model::test_result_broken, 147b0d29bc4SBrooks Davis F("Received signal %s") % status.get().termsig()); 148b0d29bc4SBrooks Davis } 149b0d29bc4SBrooks Davis } 150