blob: 67bc344560cc15b9f8dd5a5f80bf142a20003b1b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
/********************* */
/*! \file test_utils.h
** \verbatim
** Top contributors (to current version):
** Mathias Preiner
** This file is part of the CVC4 project.
** Copyright (c) 2009-2019 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
* CVC4_CHECK or CVC4_DCHECK 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)
|
