Example syntax

LTL_test_only=N