viperproject/silicon

Tests non-deterministically time out

Dspil opened this issue · 0 comments

Dspil commented

This issue tracks all the tests that are ignored in the silicon test-suite that non deterministically time out.

  • all/third_party/stefan_recent/testTreeWandE1.vpr