head 1.1; branch 1.1.1; access; symbols netbsd-11-0-RC5:1.1.1.1 netbsd-11-0-RC4:1.1.1.1 netbsd-11-0-RC3:1.1.1.1 netbsd-11-0-RC2:1.1.1.1 netbsd-11-0-RC1:1.1.1.1 perseant-exfatfs-base-20250801:1.1.1.1 netbsd-11:1.1.1.1.0.50 netbsd-11-base:1.1.1.1 netbsd-10-1-RELEASE:1.1.1.1 perseant-exfatfs-base-20240630:1.1.1.1 perseant-exfatfs:1.1.1.1.0.48 perseant-exfatfs-base:1.1.1.1 netbsd-8-3-RELEASE:1.1.1.1 netbsd-9-4-RELEASE:1.1.1.1 netbsd-10-0-RELEASE:1.1.1.1 netbsd-10-0-RC6:1.1.1.1 netbsd-10-0-RC5:1.1.1.1 netbsd-10-0-RC4:1.1.1.1 netbsd-10-0-RC3:1.1.1.1 netbsd-10-0-RC2:1.1.1.1 netbsd-10-0-RC1:1.1.1.1 netbsd-10:1.1.1.1.0.46 netbsd-10-base:1.1.1.1 netbsd-9-3-RELEASE:1.1.1.1 cjep_sun2x-base1:1.1.1.1 cjep_sun2x:1.1.1.1.0.44 cjep_sun2x-base:1.1.1.1 cjep_staticlib_x-base1:1.1.1.1 netbsd-9-2-RELEASE:1.1.1.1 cjep_staticlib_x:1.1.1.1.0.42 cjep_staticlib_x-base:1.1.1.1 netbsd-9-1-RELEASE:1.1.1.1 phil-wifi-20200421:1.1.1.1 phil-wifi-20200411:1.1.1.1 is-mlppp:1.1.1.1.0.40 is-mlppp-base:1.1.1.1 phil-wifi-20200406:1.1.1.1 netbsd-8-2-RELEASE:1.1.1.1 netbsd-9-0-RELEASE:1.1.1.1 netbsd-9-0-RC2:1.1.1.1 netbsd-9-0-RC1:1.1.1.1 phil-wifi-20191119:1.1.1.1 netbsd-9:1.1.1.1.0.38 netbsd-9-base:1.1.1.1 phil-wifi-20190609:1.1.1.1 netbsd-8-1-RELEASE:1.1.1.1 netbsd-8-1-RC1:1.1.1.1 pgoyette-compat-merge-20190127:1.1.1.1 pgoyette-compat-20190127:1.1.1.1 pgoyette-compat-20190118:1.1.1.1 pgoyette-compat-1226:1.1.1.1 pgoyette-compat-1126:1.1.1.1 pgoyette-compat-1020:1.1.1.1 pgoyette-compat-0930:1.1.1.1 pgoyette-compat-0906:1.1.1.1 netbsd-7-2-RELEASE:1.1.1.1 pgoyette-compat-0728:1.1.1.1 netbsd-8-0-RELEASE:1.1.1.1 phil-wifi:1.1.1.1.0.36 phil-wifi-base:1.1.1.1 pgoyette-compat-0625:1.1.1.1 netbsd-8-0-RC2:1.1.1.1 pgoyette-compat-0521:1.1.1.1 pgoyette-compat-0502:1.1.1.1 pgoyette-compat-0422:1.1.1.1 netbsd-8-0-RC1:1.1.1.1 pgoyette-compat-0415:1.1.1.1 pgoyette-compat-0407:1.1.1.1 pgoyette-compat-0330:1.1.1.1 pgoyette-compat-0322:1.1.1.1 pgoyette-compat-0315:1.1.1.1 netbsd-7-1-2-RELEASE:1.1.1.1 pgoyette-compat:1.1.1.1.0.34 pgoyette-compat-base:1.1.1.1 netbsd-7-1-1-RELEASE:1.1.1.1 matt-nb8-mediatek:1.1.1.1.0.32 matt-nb8-mediatek-base:1.1.1.1 perseant-stdc-iso10646:1.1.1.1.0.30 perseant-stdc-iso10646-base:1.1.1.1 netbsd-8:1.1.1.1.0.28 netbsd-8-base:1.1.1.1 prg-localcount2-base3:1.1.1.1 prg-localcount2-base2:1.1.1.1 prg-localcount2-base1:1.1.1.1 prg-localcount2:1.1.1.1.0.26 prg-localcount2-base:1.1.1.1 pgoyette-localcount-20170426:1.1.1.1 bouyer-socketcan-base1:1.1.1.1 pgoyette-localcount-20170320:1.1.1.1 netbsd-7-1:1.1.1.1.0.24 netbsd-7-1-RELEASE:1.1.1.1 netbsd-7-1-RC2:1.1.1.1 netbsd-7-nhusb-base-20170116:1.1.1.1 bouyer-socketcan:1.1.1.1.0.22 bouyer-socketcan-base:1.1.1.1 pgoyette-localcount-20170107:1.1.1.1 netbsd-7-1-RC1:1.1.1.1 pgoyette-localcount-20161104:1.1.1.1 netbsd-7-0-2-RELEASE:1.1.1.1 localcount-20160914:1.1.1.1 netbsd-7-nhusb:1.1.1.1.0.20 netbsd-7-nhusb-base:1.1.1.1 pgoyette-localcount-20160806:1.1.1.1 pgoyette-localcount-20160726:1.1.1.1 pgoyette-localcount:1.1.1.1.0.18 pgoyette-localcount-base:1.1.1.1 netbsd-7-0-1-RELEASE:1.1.1.1 netbsd-7-0:1.1.1.1.0.16 netbsd-7-0-RELEASE:1.1.1.1 netbsd-7-0-RC3:1.1.1.1 netbsd-7-0-RC2:1.1.1.1 netbsd-7-0-RC1:1.1.1.1 netbsd-7:1.1.1.1.0.14 netbsd-7-base:1.1.1.1 yamt-pagecache:1.1.1.1.0.12 yamt-pagecache-base9:1.1.1.1 tls-earlyentropy:1.1.1.1.0.10 tls-earlyentropy-base:1.1.1.1 riastradh-xf86-video-intel-2-7-1-pre-2-21-15:1.1.1.1 riastradh-drm2-base3:1.1.1.1 kyua-cli-0-7:1.1.1.1 riastradh-drm2-base2:1.1.1.1 riastradh-drm2-base1:1.1.1.1 riastradh-drm2:1.1.1.1.0.2 riastradh-drm2-base:1.1.1.1 khorben-n900:1.1.1.1.0.8 agc-symver:1.1.1.1.0.6 agc-symver-base:1.1.1.1 tls-maxphys-base:1.1.1.1 tls-maxphys:1.1.1.1.0.4 kyua-cli-0-6:1.1.1.1 GOOGLE-CODE:1.1.1; locks; strict; comment @// @; 1.1 date 2013.02.23.12.34.06; author jmmv; state Exp; branches 1.1.1.1; next ; 1.1.1.1 date 2013.02.23.12.34.06; author jmmv; state Exp; branches 1.1.1.1.4.1 1.1.1.1.12.1; next ; 1.1.1.1.4.1 date 2013.02.23.12.34.06; author tls; state dead; branches; next 1.1.1.1.4.2; 1.1.1.1.4.2 date 2013.02.25.00.26.14; author tls; state Exp; branches; next ; 1.1.1.1.12.1 date 2013.02.23.12.34.06; author yamt; state dead; branches; next 1.1.1.1.12.2; commitid h3iiOYJJCkPr7yBx; 1.1.1.1.12.2 date 2014.05.22.15.45.29; author yamt; state Exp; branches; next ; commitid h3iiOYJJCkPr7yBx; desc @@ 1.1 log @Initial revision @ text @// Copyright 2010 Google Inc. // All rights reserved. // // Redistribution and use in source and binary forms, with or without // modification, are permitted provided that the following conditions are // met: // // * Redistributions of source code must retain the above copyright // notice, this list of conditions and the following disclaimer. // * Redistributions in binary form must reproduce the above copyright // notice, this list of conditions and the following disclaimer in the // documentation and/or other materials provided with the distribution. // * Neither the name of Google Inc. nor the names of its contributors // may be used to endorse or promote products derived from this software // without specific prior written permission. // // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. #include "utils/sanity.hpp" extern "C" { #include #include } #include #include #include #include "utils/format/macros.hpp" #include "utils/fs/path.hpp" #include "utils/process/child.ipp" #include "utils/process/status.hpp" namespace fs = utils::fs; namespace process = utils::process; #define FILE_REGEXP __FILE__ ":[0-9]+: " static const fs::path Stdout_File("stdout.txt"); static const fs::path Stderr_File("stderr.txt"); #if NDEBUG static bool NDebug = true; #else static bool NDebug = false; #endif template< typename Function > static process::status run_test(Function function) { const process::status status = process::child::fork_files( function, Stdout_File, Stderr_File)->wait(); atf::utils::cat_file(Stdout_File.str(), "Helper stdout: "); atf::utils::cat_file(Stderr_File.str(), "Helper stderr: "); return status; } static void verify_success(const process::status& status) { ATF_REQUIRE(status.exited()); ATF_REQUIRE_EQ(EXIT_SUCCESS, status.exitstatus()); ATF_REQUIRE(atf::utils::grep_file("Before test", Stdout_File.str())); ATF_REQUIRE(atf::utils::grep_file("After test", Stdout_File.str())); } static void verify_failed(const process::status& status, const char* type, const char* exp_message, const bool check_ndebug) { if (check_ndebug && NDebug) { std::cout << "Built with NDEBUG; skipping verification\n"; verify_success(status); } else { ATF_REQUIRE(status.signaled()); ATF_REQUIRE_EQ(SIGABRT, status.termsig()); ATF_REQUIRE(atf::utils::grep_file("Before test", Stdout_File.str())); ATF_REQUIRE(!atf::utils::grep_file("After test", Stdout_File.str())); if (exp_message != NULL) ATF_REQUIRE(atf::utils::grep_file(F(FILE_REGEXP "%s: %s") % type % exp_message, Stderr_File.str())); else ATF_REQUIRE(atf::utils::grep_file(F(FILE_REGEXP "%s") % type, Stderr_File.str())); } } template< bool Expression, bool WithMessage > static void do_inv_test(void) { std::cout << "Before test\n"; if (WithMessage) INV_MSG(Expression, "Custom message"); else INV(Expression); std::cout << "After test\n"; std::exit(EXIT_SUCCESS); } ATF_TEST_CASE_WITHOUT_HEAD(inv__holds); ATF_TEST_CASE_BODY(inv__holds) { const process::status status = run_test(do_inv_test< true, false >); verify_success(status); } ATF_TEST_CASE_WITHOUT_HEAD(inv__triggers_default_message); ATF_TEST_CASE_BODY(inv__triggers_default_message) { const process::status status = run_test(do_inv_test< false, false >); verify_failed(status, "Invariant check failed", "Expression", true); } ATF_TEST_CASE_WITHOUT_HEAD(inv__triggers_custom_message); ATF_TEST_CASE_BODY(inv__triggers_custom_message) { const process::status status = run_test(do_inv_test< false, true >); verify_failed(status, "Invariant check failed", "Custom", true); } template< bool Expression, bool WithMessage > static void do_pre_test(void) { std::cout << "Before test\n"; if (WithMessage) PRE_MSG(Expression, "Custom message"); else PRE(Expression); std::cout << "After test\n"; std::exit(EXIT_SUCCESS); } ATF_TEST_CASE_WITHOUT_HEAD(pre__holds); ATF_TEST_CASE_BODY(pre__holds) { const process::status status = run_test(do_pre_test< true, false >); verify_success(status); } ATF_TEST_CASE_WITHOUT_HEAD(pre__triggers_default_message); ATF_TEST_CASE_BODY(pre__triggers_default_message) { const process::status status = run_test(do_pre_test< false, false >); verify_failed(status, "Precondition check failed", "Expression", true); } ATF_TEST_CASE_WITHOUT_HEAD(pre__triggers_custom_message); ATF_TEST_CASE_BODY(pre__triggers_custom_message) { const process::status status = run_test(do_pre_test< false, true >); verify_failed(status, "Precondition check failed", "Custom", true); } template< bool Expression, bool WithMessage > static void do_post_test(void) { std::cout << "Before test\n"; if (WithMessage) POST_MSG(Expression, "Custom message"); else POST(Expression); std::cout << "After test\n"; std::exit(EXIT_SUCCESS); } ATF_TEST_CASE_WITHOUT_HEAD(post__holds); ATF_TEST_CASE_BODY(post__holds) { const process::status status = run_test(do_post_test< true, false >); verify_success(status); } ATF_TEST_CASE_WITHOUT_HEAD(post__triggers_default_message); ATF_TEST_CASE_BODY(post__triggers_default_message) { const process::status status = run_test(do_post_test< false, false >); verify_failed(status, "Postcondition check failed", "Expression", true); } ATF_TEST_CASE_WITHOUT_HEAD(post__triggers_custom_message); ATF_TEST_CASE_BODY(post__triggers_custom_message) { const process::status status = run_test(do_post_test< false, true >); verify_failed(status, "Postcondition check failed", "Custom", true); } template< bool WithMessage > static void do_unreachable_test(void) { std::cout << "Before test\n"; if (WithMessage) UNREACHABLE_MSG("Custom message"); else UNREACHABLE; std::cout << "After test\n"; std::exit(EXIT_SUCCESS); } ATF_TEST_CASE_WITHOUT_HEAD(unreachable__default_message); ATF_TEST_CASE_BODY(unreachable__default_message) { const process::status status = run_test(do_unreachable_test< false >); verify_failed(status, "Unreachable point reached", NULL, false); } ATF_TEST_CASE_WITHOUT_HEAD(unreachable__custom_message); ATF_TEST_CASE_BODY(unreachable__custom_message) { const process::status status = run_test(do_unreachable_test< true >); verify_failed(status, "Unreachable point reached", "Custom", false); } template< int Signo > static void do_crash_handler_test(void) { utils::install_crash_handlers("test-log.txt"); ::kill(::getpid(), Signo); std::cout << "After signal\n"; std::exit(EXIT_FAILURE); } template< int Signo > static void crash_handler_test(void) { const process::status status = run_test(do_crash_handler_test< Signo >); ATF_REQUIRE(status.signaled()); ATF_REQUIRE_EQ(Signo, status.termsig()); ATF_REQUIRE(atf::utils::grep_file(F("Fatal signal %s") % Signo, Stderr_File.str())); ATF_REQUIRE(atf::utils::grep_file("Log file is test-log.txt", Stderr_File.str())); ATF_REQUIRE(!atf::utils::grep_file("After signal", Stdout_File.str())); } ATF_TEST_CASE_WITHOUT_HEAD(install_crash_handlers__sigabrt); ATF_TEST_CASE_BODY(install_crash_handlers__sigabrt) { crash_handler_test< SIGABRT >(); } ATF_TEST_CASE_WITHOUT_HEAD(install_crash_handlers__sigbus); ATF_TEST_CASE_BODY(install_crash_handlers__sigbus) { crash_handler_test< SIGBUS >(); } ATF_TEST_CASE_WITHOUT_HEAD(install_crash_handlers__sigsegv); ATF_TEST_CASE_BODY(install_crash_handlers__sigsegv) { crash_handler_test< SIGSEGV >(); } ATF_INIT_TEST_CASES(tcs) { ATF_ADD_TEST_CASE(tcs, inv__holds); ATF_ADD_TEST_CASE(tcs, inv__triggers_default_message); ATF_ADD_TEST_CASE(tcs, inv__triggers_custom_message); ATF_ADD_TEST_CASE(tcs, pre__holds); ATF_ADD_TEST_CASE(tcs, pre__triggers_default_message); ATF_ADD_TEST_CASE(tcs, pre__triggers_custom_message); ATF_ADD_TEST_CASE(tcs, post__holds); ATF_ADD_TEST_CASE(tcs, post__triggers_default_message); ATF_ADD_TEST_CASE(tcs, post__triggers_custom_message); ATF_ADD_TEST_CASE(tcs, unreachable__default_message); ATF_ADD_TEST_CASE(tcs, unreachable__custom_message); ATF_ADD_TEST_CASE(tcs, install_crash_handlers__sigabrt); ATF_ADD_TEST_CASE(tcs, install_crash_handlers__sigbus); ATF_ADD_TEST_CASE(tcs, install_crash_handlers__sigsegv); } @ 1.1.1.1 log @Initial import of Kyua CLI, version 0.6: This is the main component of Kyua and its build will be guarded by the MKKYUA knob. core@@ has approved this import. Description: Kyua (pronounced Q.A.) is a testing framework for both developers and users. Kyua is different from most other testing frameworks in that it puts the end user experience before anything else. There are multiple reasons for users to run the tests themselves, and Kyua ensures that they can do so in the most convenient way. This module, kyua-cli, provides the command-line interface to the Kyua runtime system. The major purpose of this tool is to run test cases and generate unified reports for their results. @ text @@ 1.1.1.1.12.1 log @file sanity_test.cpp was added on branch yamt-pagecache on 2014-05-22 15:45:29 +0000 @ text @d1 317 @ 1.1.1.1.12.2 log @sync with head. for a reference, the tree before this commit was tagged as yamt-pagecache-tag8. this commit was splitted into small chunks to avoid a limitation of cvs. ("Protocol error: too many arguments") @ text @a0 317 // Copyright 2010 Google Inc. // All rights reserved. // // Redistribution and use in source and binary forms, with or without // modification, are permitted provided that the following conditions are // met: // // * Redistributions of source code must retain the above copyright // notice, this list of conditions and the following disclaimer. // * Redistributions in binary form must reproduce the above copyright // notice, this list of conditions and the following disclaimer in the // documentation and/or other materials provided with the distribution. // * Neither the name of Google Inc. nor the names of its contributors // may be used to endorse or promote products derived from this software // without specific prior written permission. // // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. #include "utils/sanity.hpp" extern "C" { #include #include } #include #include #include #include "utils/format/macros.hpp" #include "utils/fs/path.hpp" #include "utils/process/child.ipp" #include "utils/process/status.hpp" namespace fs = utils::fs; namespace process = utils::process; #define FILE_REGEXP __FILE__ ":[0-9]+: " static const fs::path Stdout_File("stdout.txt"); static const fs::path Stderr_File("stderr.txt"); #if NDEBUG static bool NDebug = true; #else static bool NDebug = false; #endif template< typename Function > static process::status run_test(Function function) { const process::status status = process::child::fork_files( function, Stdout_File, Stderr_File)->wait(); atf::utils::cat_file(Stdout_File.str(), "Helper stdout: "); atf::utils::cat_file(Stderr_File.str(), "Helper stderr: "); return status; } static void verify_success(const process::status& status) { ATF_REQUIRE(status.exited()); ATF_REQUIRE_EQ(EXIT_SUCCESS, status.exitstatus()); ATF_REQUIRE(atf::utils::grep_file("Before test", Stdout_File.str())); ATF_REQUIRE(atf::utils::grep_file("After test", Stdout_File.str())); } static void verify_failed(const process::status& status, const char* type, const char* exp_message, const bool check_ndebug) { if (check_ndebug && NDebug) { std::cout << "Built with NDEBUG; skipping verification\n"; verify_success(status); } else { ATF_REQUIRE(status.signaled()); ATF_REQUIRE_EQ(SIGABRT, status.termsig()); ATF_REQUIRE(atf::utils::grep_file("Before test", Stdout_File.str())); ATF_REQUIRE(!atf::utils::grep_file("After test", Stdout_File.str())); if (exp_message != NULL) ATF_REQUIRE(atf::utils::grep_file(F(FILE_REGEXP "%s: %s") % type % exp_message, Stderr_File.str())); else ATF_REQUIRE(atf::utils::grep_file(F(FILE_REGEXP "%s") % type, Stderr_File.str())); } } template< bool Expression, bool WithMessage > static void do_inv_test(void) { std::cout << "Before test\n"; if (WithMessage) INV_MSG(Expression, "Custom message"); else INV(Expression); std::cout << "After test\n"; std::exit(EXIT_SUCCESS); } ATF_TEST_CASE_WITHOUT_HEAD(inv__holds); ATF_TEST_CASE_BODY(inv__holds) { const process::status status = run_test(do_inv_test< true, false >); verify_success(status); } ATF_TEST_CASE_WITHOUT_HEAD(inv__triggers_default_message); ATF_TEST_CASE_BODY(inv__triggers_default_message) { const process::status status = run_test(do_inv_test< false, false >); verify_failed(status, "Invariant check failed", "Expression", true); } ATF_TEST_CASE_WITHOUT_HEAD(inv__triggers_custom_message); ATF_TEST_CASE_BODY(inv__triggers_custom_message) { const process::status status = run_test(do_inv_test< false, true >); verify_failed(status, "Invariant check failed", "Custom", true); } template< bool Expression, bool WithMessage > static void do_pre_test(void) { std::cout << "Before test\n"; if (WithMessage) PRE_MSG(Expression, "Custom message"); else PRE(Expression); std::cout << "After test\n"; std::exit(EXIT_SUCCESS); } ATF_TEST_CASE_WITHOUT_HEAD(pre__holds); ATF_TEST_CASE_BODY(pre__holds) { const process::status status = run_test(do_pre_test< true, false >); verify_success(status); } ATF_TEST_CASE_WITHOUT_HEAD(pre__triggers_default_message); ATF_TEST_CASE_BODY(pre__triggers_default_message) { const process::status status = run_test(do_pre_test< false, false >); verify_failed(status, "Precondition check failed", "Expression", true); } ATF_TEST_CASE_WITHOUT_HEAD(pre__triggers_custom_message); ATF_TEST_CASE_BODY(pre__triggers_custom_message) { const process::status status = run_test(do_pre_test< false, true >); verify_failed(status, "Precondition check failed", "Custom", true); } template< bool Expression, bool WithMessage > static void do_post_test(void) { std::cout << "Before test\n"; if (WithMessage) POST_MSG(Expression, "Custom message"); else POST(Expression); std::cout << "After test\n"; std::exit(EXIT_SUCCESS); } ATF_TEST_CASE_WITHOUT_HEAD(post__holds); ATF_TEST_CASE_BODY(post__holds) { const process::status status = run_test(do_post_test< true, false >); verify_success(status); } ATF_TEST_CASE_WITHOUT_HEAD(post__triggers_default_message); ATF_TEST_CASE_BODY(post__triggers_default_message) { const process::status status = run_test(do_post_test< false, false >); verify_failed(status, "Postcondition check failed", "Expression", true); } ATF_TEST_CASE_WITHOUT_HEAD(post__triggers_custom_message); ATF_TEST_CASE_BODY(post__triggers_custom_message) { const process::status status = run_test(do_post_test< false, true >); verify_failed(status, "Postcondition check failed", "Custom", true); } template< bool WithMessage > static void do_unreachable_test(void) { std::cout << "Before test\n"; if (WithMessage) UNREACHABLE_MSG("Custom message"); else UNREACHABLE; std::cout << "After test\n"; std::exit(EXIT_SUCCESS); } ATF_TEST_CASE_WITHOUT_HEAD(unreachable__default_message); ATF_TEST_CASE_BODY(unreachable__default_message) { const process::status status = run_test(do_unreachable_test< false >); verify_failed(status, "Unreachable point reached", NULL, false); } ATF_TEST_CASE_WITHOUT_HEAD(unreachable__custom_message); ATF_TEST_CASE_BODY(unreachable__custom_message) { const process::status status = run_test(do_unreachable_test< true >); verify_failed(status, "Unreachable point reached", "Custom", false); } template< int Signo > static void do_crash_handler_test(void) { utils::install_crash_handlers("test-log.txt"); ::kill(::getpid(), Signo); std::cout << "After signal\n"; std::exit(EXIT_FAILURE); } template< int Signo > static void crash_handler_test(void) { const process::status status = run_test(do_crash_handler_test< Signo >); ATF_REQUIRE(status.signaled()); ATF_REQUIRE_EQ(Signo, status.termsig()); ATF_REQUIRE(atf::utils::grep_file(F("Fatal signal %s") % Signo, Stderr_File.str())); ATF_REQUIRE(atf::utils::grep_file("Log file is test-log.txt", Stderr_File.str())); ATF_REQUIRE(!atf::utils::grep_file("After signal", Stdout_File.str())); } ATF_TEST_CASE_WITHOUT_HEAD(install_crash_handlers__sigabrt); ATF_TEST_CASE_BODY(install_crash_handlers__sigabrt) { crash_handler_test< SIGABRT >(); } ATF_TEST_CASE_WITHOUT_HEAD(install_crash_handlers__sigbus); ATF_TEST_CASE_BODY(install_crash_handlers__sigbus) { crash_handler_test< SIGBUS >(); } ATF_TEST_CASE_WITHOUT_HEAD(install_crash_handlers__sigsegv); ATF_TEST_CASE_BODY(install_crash_handlers__sigsegv) { crash_handler_test< SIGSEGV >(); } ATF_INIT_TEST_CASES(tcs) { ATF_ADD_TEST_CASE(tcs, inv__holds); ATF_ADD_TEST_CASE(tcs, inv__triggers_default_message); ATF_ADD_TEST_CASE(tcs, inv__triggers_custom_message); ATF_ADD_TEST_CASE(tcs, pre__holds); ATF_ADD_TEST_CASE(tcs, pre__triggers_default_message); ATF_ADD_TEST_CASE(tcs, pre__triggers_custom_message); ATF_ADD_TEST_CASE(tcs, post__holds); ATF_ADD_TEST_CASE(tcs, post__triggers_default_message); ATF_ADD_TEST_CASE(tcs, post__triggers_custom_message); ATF_ADD_TEST_CASE(tcs, unreachable__default_message); ATF_ADD_TEST_CASE(tcs, unreachable__custom_message); ATF_ADD_TEST_CASE(tcs, install_crash_handlers__sigabrt); ATF_ADD_TEST_CASE(tcs, install_crash_handlers__sigbus); ATF_ADD_TEST_CASE(tcs, install_crash_handlers__sigsegv); } @ 1.1.1.1.4.1 log @file sanity_test.cpp was added on branch tls-maxphys on 2013-02-25 00:26:14 +0000 @ text @d1 317 @ 1.1.1.1.4.2 log @resync with head @ text @a0 317 // Copyright 2010 Google Inc. // All rights reserved. // // Redistribution and use in source and binary forms, with or without // modification, are permitted provided that the following conditions are // met: // // * Redistributions of source code must retain the above copyright // notice, this list of conditions and the following disclaimer. // * Redistributions in binary form must reproduce the above copyright // notice, this list of conditions and the following disclaimer in the // documentation and/or other materials provided with the distribution. // * Neither the name of Google Inc. nor the names of its contributors // may be used to endorse or promote products derived from this software // without specific prior written permission. // // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. #include "utils/sanity.hpp" extern "C" { #include #include } #include #include #include #include "utils/format/macros.hpp" #include "utils/fs/path.hpp" #include "utils/process/child.ipp" #include "utils/process/status.hpp" namespace fs = utils::fs; namespace process = utils::process; #define FILE_REGEXP __FILE__ ":[0-9]+: " static const fs::path Stdout_File("stdout.txt"); static const fs::path Stderr_File("stderr.txt"); #if NDEBUG static bool NDebug = true; #else static bool NDebug = false; #endif template< typename Function > static process::status run_test(Function function) { const process::status status = process::child::fork_files( function, Stdout_File, Stderr_File)->wait(); atf::utils::cat_file(Stdout_File.str(), "Helper stdout: "); atf::utils::cat_file(Stderr_File.str(), "Helper stderr: "); return status; } static void verify_success(const process::status& status) { ATF_REQUIRE(status.exited()); ATF_REQUIRE_EQ(EXIT_SUCCESS, status.exitstatus()); ATF_REQUIRE(atf::utils::grep_file("Before test", Stdout_File.str())); ATF_REQUIRE(atf::utils::grep_file("After test", Stdout_File.str())); } static void verify_failed(const process::status& status, const char* type, const char* exp_message, const bool check_ndebug) { if (check_ndebug && NDebug) { std::cout << "Built with NDEBUG; skipping verification\n"; verify_success(status); } else { ATF_REQUIRE(status.signaled()); ATF_REQUIRE_EQ(SIGABRT, status.termsig()); ATF_REQUIRE(atf::utils::grep_file("Before test", Stdout_File.str())); ATF_REQUIRE(!atf::utils::grep_file("After test", Stdout_File.str())); if (exp_message != NULL) ATF_REQUIRE(atf::utils::grep_file(F(FILE_REGEXP "%s: %s") % type % exp_message, Stderr_File.str())); else ATF_REQUIRE(atf::utils::grep_file(F(FILE_REGEXP "%s") % type, Stderr_File.str())); } } template< bool Expression, bool WithMessage > static void do_inv_test(void) { std::cout << "Before test\n"; if (WithMessage) INV_MSG(Expression, "Custom message"); else INV(Expression); std::cout << "After test\n"; std::exit(EXIT_SUCCESS); } ATF_TEST_CASE_WITHOUT_HEAD(inv__holds); ATF_TEST_CASE_BODY(inv__holds) { const process::status status = run_test(do_inv_test< true, false >); verify_success(status); } ATF_TEST_CASE_WITHOUT_HEAD(inv__triggers_default_message); ATF_TEST_CASE_BODY(inv__triggers_default_message) { const process::status status = run_test(do_inv_test< false, false >); verify_failed(status, "Invariant check failed", "Expression", true); } ATF_TEST_CASE_WITHOUT_HEAD(inv__triggers_custom_message); ATF_TEST_CASE_BODY(inv__triggers_custom_message) { const process::status status = run_test(do_inv_test< false, true >); verify_failed(status, "Invariant check failed", "Custom", true); } template< bool Expression, bool WithMessage > static void do_pre_test(void) { std::cout << "Before test\n"; if (WithMessage) PRE_MSG(Expression, "Custom message"); else PRE(Expression); std::cout << "After test\n"; std::exit(EXIT_SUCCESS); } ATF_TEST_CASE_WITHOUT_HEAD(pre__holds); ATF_TEST_CASE_BODY(pre__holds) { const process::status status = run_test(do_pre_test< true, false >); verify_success(status); } ATF_TEST_CASE_WITHOUT_HEAD(pre__triggers_default_message); ATF_TEST_CASE_BODY(pre__triggers_default_message) { const process::status status = run_test(do_pre_test< false, false >); verify_failed(status, "Precondition check failed", "Expression", true); } ATF_TEST_CASE_WITHOUT_HEAD(pre__triggers_custom_message); ATF_TEST_CASE_BODY(pre__triggers_custom_message) { const process::status status = run_test(do_pre_test< false, true >); verify_failed(status, "Precondition check failed", "Custom", true); } template< bool Expression, bool WithMessage > static void do_post_test(void) { std::cout << "Before test\n"; if (WithMessage) POST_MSG(Expression, "Custom message"); else POST(Expression); std::cout << "After test\n"; std::exit(EXIT_SUCCESS); } ATF_TEST_CASE_WITHOUT_HEAD(post__holds); ATF_TEST_CASE_BODY(post__holds) { const process::status status = run_test(do_post_test< true, false >); verify_success(status); } ATF_TEST_CASE_WITHOUT_HEAD(post__triggers_default_message); ATF_TEST_CASE_BODY(post__triggers_default_message) { const process::status status = run_test(do_post_test< false, false >); verify_failed(status, "Postcondition check failed", "Expression", true); } ATF_TEST_CASE_WITHOUT_HEAD(post__triggers_custom_message); ATF_TEST_CASE_BODY(post__triggers_custom_message) { const process::status status = run_test(do_post_test< false, true >); verify_failed(status, "Postcondition check failed", "Custom", true); } template< bool WithMessage > static void do_unreachable_test(void) { std::cout << "Before test\n"; if (WithMessage) UNREACHABLE_MSG("Custom message"); else UNREACHABLE; std::cout << "After test\n"; std::exit(EXIT_SUCCESS); } ATF_TEST_CASE_WITHOUT_HEAD(unreachable__default_message); ATF_TEST_CASE_BODY(unreachable__default_message) { const process::status status = run_test(do_unreachable_test< false >); verify_failed(status, "Unreachable point reached", NULL, false); } ATF_TEST_CASE_WITHOUT_HEAD(unreachable__custom_message); ATF_TEST_CASE_BODY(unreachable__custom_message) { const process::status status = run_test(do_unreachable_test< true >); verify_failed(status, "Unreachable point reached", "Custom", false); } template< int Signo > static void do_crash_handler_test(void) { utils::install_crash_handlers("test-log.txt"); ::kill(::getpid(), Signo); std::cout << "After signal\n"; std::exit(EXIT_FAILURE); } template< int Signo > static void crash_handler_test(void) { const process::status status = run_test(do_crash_handler_test< Signo >); ATF_REQUIRE(status.signaled()); ATF_REQUIRE_EQ(Signo, status.termsig()); ATF_REQUIRE(atf::utils::grep_file(F("Fatal signal %s") % Signo, Stderr_File.str())); ATF_REQUIRE(atf::utils::grep_file("Log file is test-log.txt", Stderr_File.str())); ATF_REQUIRE(!atf::utils::grep_file("After signal", Stdout_File.str())); } ATF_TEST_CASE_WITHOUT_HEAD(install_crash_handlers__sigabrt); ATF_TEST_CASE_BODY(install_crash_handlers__sigabrt) { crash_handler_test< SIGABRT >(); } ATF_TEST_CASE_WITHOUT_HEAD(install_crash_handlers__sigbus); ATF_TEST_CASE_BODY(install_crash_handlers__sigbus) { crash_handler_test< SIGBUS >(); } ATF_TEST_CASE_WITHOUT_HEAD(install_crash_handlers__sigsegv); ATF_TEST_CASE_BODY(install_crash_handlers__sigsegv) { crash_handler_test< SIGSEGV >(); } ATF_INIT_TEST_CASES(tcs) { ATF_ADD_TEST_CASE(tcs, inv__holds); ATF_ADD_TEST_CASE(tcs, inv__triggers_default_message); ATF_ADD_TEST_CASE(tcs, inv__triggers_custom_message); ATF_ADD_TEST_CASE(tcs, pre__holds); ATF_ADD_TEST_CASE(tcs, pre__triggers_default_message); ATF_ADD_TEST_CASE(tcs, pre__triggers_custom_message); ATF_ADD_TEST_CASE(tcs, post__holds); ATF_ADD_TEST_CASE(tcs, post__triggers_default_message); ATF_ADD_TEST_CASE(tcs, post__triggers_custom_message); ATF_ADD_TEST_CASE(tcs, unreachable__default_message); ATF_ADD_TEST_CASE(tcs, unreachable__custom_message); ATF_ADD_TEST_CASE(tcs, install_crash_handlers__sigabrt); ATF_ADD_TEST_CASE(tcs, install_crash_handlers__sigbus); ATF_ADD_TEST_CASE(tcs, install_crash_handlers__sigsegv); } @