blob: f65496028f43deb2dc226f5557d91fbf4f8f4907 (
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
38
39
40
|
/*
** -*- C -*-
**
** testExp.h
** Made by Bruno JOFRET <bruno.jofret@inria.fr>
**
** Started on Wed Apr 18 17:07:03 2007 jofret
** Last update Wed Apr 18 17:07:43 2007 jofret
**
** Copyright INRIA 2007
*/
#ifndef _TESTEXP_H_
#define _TESTEXP_H_
#include <stdio.h>
#include <assert.h>
#include "exp.h"
#include "constant.h"
void sexpsTest(void);
void dexpsTest(void);
void cexpsTest(void);
void zexpsTest(void);
void sexpaTest(void);
void dexpaTest(void);
void cexpaTest(void);
void zexpaTest(void);
int testExp(void);
#endif /* ! _TESTEXP_H_ */
|
