Index: tests/co19/co19-kernel.status |
diff --git a/tests/co19/co19-kernel.status b/tests/co19/co19-kernel.status |
index b860a5dd962dd04f7f41de804c2dde7a63c341dc..a05e47f05e449b72516c095fe8b5bb48140c74c3 100644 |
--- a/tests/co19/co19-kernel.status |
+++ b/tests/co19/co19-kernel.status |
@@ -116,7 +116,6 @@ Language/Libraries_and_Scripts/Scripts/syntax_t07: MissingCompileTimeError |
Language/Libraries_and_Scripts/Scripts/syntax_t08: MissingCompileTimeError |
Language/Libraries_and_Scripts/Scripts/syntax_t10: MissingCompileTimeError |
Language/Libraries_and_Scripts/Scripts/syntax_t14: MissingCompileTimeError |
-Language/Libraries_and_Scripts/Scripts/top_level_main_t05: Crash |
karlklose
2017/06/16 08:39:03
This test still crashes in debug mode (see https:/
|
Language/Libraries_and_Scripts/definition_syntax_t01: MissingCompileTimeError |
Language/Libraries_and_Scripts/definition_syntax_t03: MissingCompileTimeError |
Language/Libraries_and_Scripts/definition_syntax_t04: MissingCompileTimeError |