diff options
Diffstat (limited to 'test/unit/test_utils.h')
-rw-r--r-- | test/unit/test_utils.h | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/test/unit/test_utils.h b/test/unit/test_utils.h deleted file mode 100644 index 155d923ed..000000000 --- a/test/unit/test_utils.h +++ /dev/null @@ -1,37 +0,0 @@ -/********************* */ -/*! \file test_utils.h - ** \verbatim - ** Top contributors (to current version): - ** Mathias Preiner - ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS - ** in the top-level source directory and their institutional affiliations. - ** All rights reserved. See the file COPYING in the top-level source - ** directory for licensing information.\endverbatim - ** - ** \brief Utilities for testing. - ** - **/ - -#include <sys/wait.h> -#include <unistd.h> - -/** - * Use TS_UTILS_EXPECT_ABORT if you expect the expression to abort() when a - * AlwaysAssert or Assert is triggered. - */ -#define TS_UTILS_EXPECT_ABORT(expr) \ - do \ - { \ - int32_t status; \ - if (fork()) \ - { \ - wait(&status); \ - } \ - else \ - { \ - expr; \ - exit(EXIT_SUCCESS); \ - } \ - TS_ASSERT(WIFSIGNALED(status)); \ - } while (0) |