[bucket_names.tentative.https.any.sharedworker.html]
  expected:
    if not tsan and (os == "mac") and not debug: [OK, CRASH]
    if not tsan and (os == "android") and not debug: [OK, CRASH]
    if tsan: TIMEOUT
  [open() allows bucket names with allowed characters]
    expected: FAIL

  [open() allows bucket names with `-` in the middle]
    expected: FAIL

  [open() allows bucket names with `_` in the middle]
    expected: FAIL

  [open() allows bucket names ending with `_`]
    expected: FAIL

  [open() allows bucket names ending with `-`]
    expected: FAIL

  [open() throws an error if bucket names start with `_`]
    expected: FAIL

  [open() throws an error if bucket names start with `-`]
    expected: FAIL

  [open() throws an error if bucket names have a space]
    expected: FAIL

  [open() throws an error if bucket names are not all lower case]
    expected: FAIL

  [open() throws an error if bucket names are not in ASCII]
    expected: FAIL

  [open() throws an error if bucket names include an invalid special character]
    expected: FAIL

  [open() throws an error if bucket names have no characters]
    expected: FAIL

  [open() throws an error if bucket names are an empty string]
    expected: FAIL

  [open() throws an error if bucket names exceed 64 chars]
    expected: FAIL

  [delete() allows bucket names with allowed characters]
    expected: FAIL

  [delete() allows bucket names with `-` in the middle]
    expected: FAIL

  [delete() allows bucket names with `_` in the middle]
    expected: FAIL

  [delete() allows bucket names ending with `_`]
    expected: FAIL

  [delete() allows bucket names ending with `-`]
    expected: FAIL

  [delete() throws an error if bucket names start with `_`]
    expected: FAIL

  [delete() throws an error if bucket names start with `-`]
    expected: FAIL

  [delete() throws an error if bucket names have a space]
    expected: FAIL

  [delete() throws an error if bucket names are not all lower case]
    expected: FAIL

  [delete() throws an error if bucket names are not in ASCII]
    expected: FAIL

  [delete() throws an error if bucket names include an invalid special character]
    expected: FAIL

  [delete() throws an error if bucket names have no characters]
    expected: FAIL

  [delete() throws an error if bucket names are an empty string]
    expected: FAIL

  [delete() throws an error if bucket names exceed 64 chars]
    expected: FAIL

  [open() does not store duplicate bucket names]
    expected: FAIL


[bucket_names.tentative.https.any.worker.html]
  expected:
    if (os == "win") and debug and (processor == "x86"): CRASH
    if (os == "android") and not debug: [OK, CRASH]
  [open() allows bucket names with allowed characters]
    expected: FAIL

  [open() allows bucket names with `-` in the middle]
    expected: FAIL

  [open() allows bucket names with `_` in the middle]
    expected: FAIL

  [open() allows bucket names ending with `_`]
    expected: FAIL

  [open() allows bucket names ending with `-`]
    expected: FAIL

  [open() throws an error if bucket names start with `_`]
    expected: FAIL

  [open() throws an error if bucket names start with `-`]
    expected: FAIL

  [open() throws an error if bucket names have a space]
    expected: FAIL

  [open() throws an error if bucket names are not all lower case]
    expected: FAIL

  [open() throws an error if bucket names are not in ASCII]
    expected: FAIL

  [open() throws an error if bucket names include an invalid special character]
    expected: FAIL

  [open() throws an error if bucket names have no characters]
    expected: FAIL

  [open() throws an error if bucket names are an empty string]
    expected: FAIL

  [open() throws an error if bucket names exceed 64 chars]
    expected: FAIL

  [delete() allows bucket names with allowed characters]
    expected: FAIL

  [delete() allows bucket names with `-` in the middle]
    expected: FAIL

  [delete() allows bucket names with `_` in the middle]
    expected: FAIL

  [delete() allows bucket names ending with `_`]
    expected: FAIL

  [delete() allows bucket names ending with `-`]
    expected: FAIL

  [delete() throws an error if bucket names start with `_`]
    expected: FAIL

  [delete() throws an error if bucket names start with `-`]
    expected: FAIL

  [delete() throws an error if bucket names have a space]
    expected: FAIL

  [delete() throws an error if bucket names are not all lower case]
    expected: FAIL

  [delete() throws an error if bucket names are not in ASCII]
    expected: FAIL

  [delete() throws an error if bucket names include an invalid special character]
    expected: FAIL

  [delete() throws an error if bucket names have no characters]
    expected: FAIL

  [delete() throws an error if bucket names are an empty string]
    expected: FAIL

  [delete() throws an error if bucket names exceed 64 chars]
    expected: FAIL

  [open() does not store duplicate bucket names]
    expected: FAIL


[bucket_names.tentative.https.any.html]
  expected:
    if (os == "linux") and not tsan and debug and fission: CRASH
    if (os == "linux") and not tsan and not debug and not fission: CRASH
    if (os == "mac") and debug: CRASH
    if (os == "android") and not debug: [OK, CRASH]
  [open() allows bucket names with allowed characters]
    expected: FAIL

  [open() allows bucket names with `-` in the middle]
    expected: FAIL

  [open() allows bucket names with `_` in the middle]
    expected: FAIL

  [open() allows bucket names ending with `_`]
    expected: FAIL

  [open() allows bucket names ending with `-`]
    expected: FAIL

  [open() throws an error if bucket names start with `_`]
    expected: FAIL

  [open() throws an error if bucket names start with `-`]
    expected: FAIL

  [open() throws an error if bucket names have a space]
    expected: FAIL

  [open() throws an error if bucket names are not all lower case]
    expected: FAIL

  [open() throws an error if bucket names are not in ASCII]
    expected: FAIL

  [open() throws an error if bucket names include an invalid special character]
    expected: FAIL

  [open() throws an error if bucket names have no characters]
    expected: FAIL

  [open() throws an error if bucket names are an empty string]
    expected: FAIL

  [open() throws an error if bucket names exceed 64 chars]
    expected: FAIL

  [delete() allows bucket names with allowed characters]
    expected: FAIL

  [delete() allows bucket names with `-` in the middle]
    expected: FAIL

  [delete() allows bucket names with `_` in the middle]
    expected: FAIL

  [delete() allows bucket names ending with `_`]
    expected: FAIL

  [delete() allows bucket names ending with `-`]
    expected: FAIL

  [delete() throws an error if bucket names start with `_`]
    expected: FAIL

  [delete() throws an error if bucket names start with `-`]
    expected: FAIL

  [delete() throws an error if bucket names have a space]
    expected: FAIL

  [delete() throws an error if bucket names are not all lower case]
    expected: FAIL

  [delete() throws an error if bucket names are not in ASCII]
    expected: FAIL

  [delete() throws an error if bucket names include an invalid special character]
    expected: FAIL

  [delete() throws an error if bucket names have no characters]
    expected: FAIL

  [delete() throws an error if bucket names are an empty string]
    expected: FAIL

  [delete() throws an error if bucket names exceed 64 chars]
    expected: FAIL

  [open() does not store duplicate bucket names]
    expected: FAIL


[bucket_names.tentative.https.any.serviceworker.html]
  expected:
    if (os == "linux") and fission and not debug and asan: CRASH
    if (os == "linux") and fission and debug: CRASH
    if (os == "win") and debug: CRASH
  [open() allows bucket names with allowed characters]
    expected: FAIL

  [open() allows bucket names with `-` in the middle]
    expected: FAIL

  [open() allows bucket names with `_` in the middle]
    expected: FAIL

  [open() allows bucket names ending with `_`]
    expected: FAIL

  [open() allows bucket names ending with `-`]
    expected: FAIL

  [open() throws an error if bucket names start with `_`]
    expected: FAIL

  [open() throws an error if bucket names start with `-`]
    expected: FAIL

  [open() throws an error if bucket names have a space]
    expected: FAIL

  [open() throws an error if bucket names are not all lower case]
    expected: FAIL

  [open() throws an error if bucket names are not in ASCII]
    expected: FAIL

  [open() throws an error if bucket names include an invalid special character]
    expected: FAIL

  [open() throws an error if bucket names have no characters]
    expected: FAIL

  [open() throws an error if bucket names are an empty string]
    expected: FAIL

  [open() throws an error if bucket names exceed 64 chars]
    expected: FAIL

  [delete() allows bucket names with allowed characters]
    expected: FAIL

  [delete() allows bucket names with `-` in the middle]
    expected: FAIL

  [delete() allows bucket names with `_` in the middle]
    expected: FAIL

  [delete() allows bucket names ending with `_`]
    expected: FAIL

  [delete() allows bucket names ending with `-`]
    expected: FAIL

  [delete() throws an error if bucket names start with `_`]
    expected: FAIL

  [delete() throws an error if bucket names start with `-`]
    expected: FAIL

  [delete() throws an error if bucket names have a space]
    expected: FAIL

  [delete() throws an error if bucket names are not all lower case]
    expected: FAIL

  [delete() throws an error if bucket names are not in ASCII]
    expected: FAIL

  [delete() throws an error if bucket names include an invalid special character]
    expected: FAIL

  [delete() throws an error if bucket names have no characters]
    expected: FAIL

  [delete() throws an error if bucket names are an empty string]
    expected: FAIL

  [delete() throws an error if bucket names exceed 64 chars]
    expected: FAIL

  [open() does not store duplicate bucket names]
    expected: FAIL
