Testing project of byteman dtest library