From 23fe8abb59c59f7cb1d84db1e003aded143b2e84 Mon Sep 17 00:00:00 2001
From: doyougnu <jeffrey.young@iohk.io>
Date: Thu, 15 Dec 2022 13:53:06 -0500
Subject: [PATCH] mark stm055, T16707 as broken for JS
---
tests/all.T | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/tests/all.T b/tests/all.T
index c74ab18..f8ac83b 100644
--- a/tests/all.T
+++ b/tests/all.T
@@ -5,7 +5,7 @@ test('stm048', [], compile_and_run, [''])
test('stm050', [extra_run_opts('10000')], compile_and_run, ['-package stm'])
test('stm054', normal, compile_and_run, ['-package stm'])
-test('stm055', exit_code(1), compile_and_run, ['-package stm'])
+test('stm055', [exit_code(1), js_broken(22576)], compile_and_run, ['-package stm'])
test('stm056', only_ways(['threaded1','threaded2']),
compile_and_run, ['-package stm'])
@@ -16,4 +16,4 @@ test('stm065', normal, compile_and_run, ['-package stm'])
test('cloneTChan001', normal, compile_and_run, ['-package stm'])
test('T15136', extra_run_opts('20'), compile_and_run, ['-package stm'])
-test('T16707', normal, compile_and_run, [''])
+test('T16707', js_broken(22576), compile_and_run, [''])
--
GitLab