Skip to content
Snippets Groups Projects
Commit bd573e7d authored by dgelessus's avatar dgelessus
Browse files

Rewrite LTL tests to not require custom support in the translator code 

This eliminates one of two uses of TLC4BGlobals.testingMode.
parent 7ad18f3e
Branches
Tags
No related merge requests found
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment