diff --git a/tests/hs-run-filtered.js b/tests/hs-run-filtered.js index 2726d465..08f35956 100755 --- a/tests/hs-run-filtered.js +++ b/tests/hs-run-filtered.js @@ -854,6 +854,15 @@ for(let i=startTest;i