/*
**  -*- C -*-
**
** testIsEmpty.c
** Made by  Bruno JOFRET <bruno.jofret@inria.fr>
**
** Started on  Wed Feb 14 16:07:57 2007 jofret
** Last update Fri Apr 27 08:59:49 2007 jofret
**
** Copyright INRIA 2007
*/

#ifndef __TESTISEMPTY_H__
#define __TESTISEMPTY_H__

#include <stdio.h>
#include <assert.h>
#include "isempty.h"

#define ERROR 51

int sisemptyaTest(void);

int disemptyaTest(void);

int cisemptyaTest(void);

int zisemptyaTest(void);

int testIsEmpty(void);

#endif /* ! __TESTISEMPTY_H__ */