Test formalog.re