Skip to content

Testsuite: Add a new tables_next_to_code predicate.

Andreas Klebinger requested to merge wip/andreask/testsuite-tntc into master

Testsuite: Add a new tables_next_to_code predicate.

And use it to avoid T21710a failing on non-tntc archs.

Fixes #22169 (closed)

Edited by Matthew Pickering

Merge request reports