Boost.test for EDA1