Skip to content
Snippets Groups Projects
Commit 52132cfe authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Aorai] enables ltl test suite

parent bcd79d7a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/aorai/tests/ptests_config
+ 2
− 2
View file @ 52132cfe
DEFAULT_SUITES= ya DEFAULT_SUITES= ya ltl
prove_SUITES= ya prove_SUITES= ya ltl
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment