public void TestDivertNotFoundError() { CompileStringWithoutRuntime(@" -> knot == knot == Knot. -> next ", testingErrors: true); Assert.IsTrue(HadError("not found")); }