diff --git a/src/plugins/aorai/tests/ptests_config b/src/plugins/aorai/tests/ptests_config index 34b21cc61881d5f098943d7647fde26effacf51e..7fc044169e395ade683964186f5cbf36c046eea5 100644 --- a/src/plugins/aorai/tests/ptests_config +++ b/src/plugins/aorai/tests/ptests_config @@ -1,2 +1,2 @@ -DEFAULT_SUITES= ya -prove_SUITES= ya +DEFAULT_SUITES= ya ltl +prove_SUITES= ya ltl