/script>
<link rel="stylesheet" href="./support/operator-dictionary-tests.css"/>
<script>
  setup({ explicit_done: true });
  window.addEventListener("load", () => { loadAllFonts().then(runTests); });
  async function runTests() {
      let json = await fetchOperatorDictionary();
      await OperatorDictionaryTests.run(json, "lspace/rspace", 0);
      done();
  }
</script>
</head>
<body>
  <div id="log"></div>
</body>
</html>
