#include <boost/test/auto_unit_test.hpp>
#include "RingGodel.hpp"
Go to the source code of this file.
Definition in file RingGodelTest.cpp.