#include "ltl.hpp"
#include <brick-unit>

static void check( divine::ltl::LTLPtr f, std::string exp )
{
    using divine::ltl::LTL;
    ASSERT_EQ( f->string(), exp );
    ASSERT_EQ( LTL::parse( exp )->string(), exp );
}