2 ms·

Regular old tests, I imagine

• cec 6y ago
  This. For now we rely on differential testing against a gold-standard implementation (e.g. unoptimized). For the action space we expose, any semantics-breaking change induced by our tool is a compiler bug.