-
Peter Wortmann authored
Adds a test way for debug (-g -dannot-lint) as well as a test covering basic source tick functionality. The debug way fails for a number of test cases because of annotation linting: Tracing simplification (e.g. rule firings) will see duplicated output, and sometimes expression matching might take so long that the test case timeouts. We blacklist these tests. (From Phabricator D169)
c6306140