-
Notifications
You must be signed in to change notification settings - Fork 0
/
btortrapi.h
69 lines (53 loc) · 1.81 KB
/
btortrapi.h
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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
/* Boolector: Satisfiablity Modulo Theories (SMT) solver.
*
* Copyright (C) 2013-2014 Aina Niemetz.
* Copyright (C) 2013-2015 Mathias Preiner.
*
* All rights reserved.
*
* This file is part of Boolector.
* See COPYING for more information on using this software.
*/
#ifndef BTORTRAPI_H_INCLUDED
#define BTORTRAPI_H_INCLUDED
#include <stdio.h>
#include <btorcore.h>
#define NODE_FMT "e%d "
#define SORT_FMT "s%d "
#define BTOR_TRAPI_NODE_ID(exp) \
(BTOR_IS_INVERTED_NODE (exp) ? -BTOR_REAL_ADDR_NODE (exp)->id : exp->id)
#define BTOR_TRAPI(args...) \
do \
{ \
if (!btor->apitrace) break; \
btor_trapi (btor, __FUNCTION__, ##args); \
} while (0)
#define BTOR_TRAPI_RETURN(args...) \
do \
{ \
if (!btor->apitrace) break; \
btor_trapi (btor, 0, ##args); \
} while (0)
#define BTOR_TRAPI_UNFUN_EXT(exp, fmt, args...) \
BTOR_TRAPI (NODE_FMT fmt, BTOR_TRAPI_NODE_ID (exp), ##args)
#define BTOR_TRAPI_UNFUN(exp) \
BTOR_TRAPI (NODE_FMT, BTOR_TRAPI_NODE_ID (exp))
#define BTOR_TRAPI_BINFUN(e0, e1) \
BTOR_TRAPI (NODE_FMT NODE_FMT, \
BTOR_TRAPI_NODE_ID (e0), BTOR_TRAPI_NODE_ID (e1))
#define BTOR_TRAPI_TERFUN(e0, e1, e2) \
BTOR_TRAPI (NODE_FMT NODE_FMT NODE_FMT, BTOR_TRAPI_NODE_ID (e0), \
BTOR_TRAPI_NODE_ID (e1), BTOR_TRAPI_NODE_ID (e2))
#define BTOR_TRAPI_RETURN_NODE(res) \
BTOR_TRAPI_RETURN (NODE_FMT, BTOR_TRAPI_NODE_ID (res))
#define BTOR_TRAPI_RETURN_PTR(res) \
BTOR_TRAPI_RETURN ("%p", res)
#define BTOR_TRAPI_RETURN_STR(res) \
BTOR_TRAPI_RETURN ("%s", res)
#define BTOR_TRAPI_RETURN_INT(res) \
BTOR_TRAPI_RETURN ("%d", res)
#define BTOR_TRAPI_RETURN_SORT(sort) \
BTOR_TRAPI_RETURN (SORT_FMT, sort)
void btor_trapi (Btor * btor, const char * fname, const char * msg, ...);
void btor_open_apitrace (Btor * btor, const char * name);
#endif