diff options
| -rwxr-xr-x | tests/run-tests | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/run-tests b/tests/run-tests index 16d5f15ea..c74d0f24b 100755 --- a/tests/run-tests +++ b/tests/run-tests @@ -314,7 +314,7 @@ def run_tests(pyb, tests, args): test_name = os.path.splitext(test_basename)[0] is_native = test_name.startswith("native_") or test_name.startswith("viper_") is_endian = test_name.endswith("_endian") - is_set_type = test_name.startswith("set_") + is_set_type = test_name.startswith("set_") or test_name.startswith("frozenset") skip_it = test_file in skip_tests skip_it |= skip_native and is_native |