Re: [cddlm] Problems in the tests