-
Guillaume Sadegh authored
2008-06-02 Guillaume SADEGH <sadegh@lrde.epita.fr> * iface/nips/nipstest/Makefile.am, iface/nips/Makefile.am, configure.ac, iface/nips/nipstest/emptiness.test, iface/nips/nipstest/dotty.test: Test suite for the NipsVM front-end. * iface/nips/emptiness_check.cc, iface/nips/dottynips.cc: `catch' don't throw anymore an exception, but exit with 1. * iface/nips/common.cc, iface/nips/nips.cc (nips_interface): Change messages of nips_exception.
a33c1894