Besides the usual make and make check cycle, I have tested
the C++ interface, especially as far as the issues I raised
are concerned. Eveything seems OK.
All the best
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it