Comments

Set the value of LTL_test_only to Y only when debugging Replication Agent.