update pet to version 0.11.6
[ppn.git] / tests / testlib.h
blobd380e3b56bb2db0d44e0e5a6d0f6bf74c18dab45
1 #include <isa/pdg.h>
2 #include <isa/adg.h>
4 void construct_pdg(const char *base, const char *options = NULL,
5 const char *dir = NULL);
6 pdg::PDG *get_pdg(isl_ctx *ctx, const char *base, const char *options = NULL);
7 void construct_pn(const char *base, const char *options = NULL);
8 pdg::PDG *get_pn(isl_ctx *ctx, const char *base, const char *options = NULL);
9 void construct_adg(const char *base, const char *options = NULL);
10 void construct_da(const char *base, const char *options = NULL);
11 pdg::PDG *get_da(isl_ctx *ctx, const char *base, const char *options = NULL);
12 void check_eqv(const char *test, const char *options, const char *output);
13 adg *get_adg(isl_ctx *ctx, const char *base);