/*
**  -*- C -*-
**
** testExp10.h
** Made by  Bruno JOFRET <bruno.jofret@inria.fr>
**
** Started on  Wed Apr 18 17:07:03 2007 jofret
** Last update Thu Sep  6 16:56:09 2007 bruno
**
** Copyright INRIA 2007
*/

#ifndef _TESTEXP10_H_
#define _TESTEXP10_H_

#include <stdio.h>
#include <assert.h>
#include "exp10.h"
#include "constant.h"


void sexp10sTest(void);

void dexp10sTest(void);

void cexp10sTest(void);

void zexp10sTest(void);

void sexp10aTest(void);

void dexp10aTest(void);

void cexp10aTest(void);

void zexp10aTest(void);

int testExp10(void);

#endif /* ! _TESTEXP10_H_ */