Don't run -ProperIeee754Comparisons

2018-08-09 14:10:57 +03:00
parent 7dbfdc047d
commit 6c819a817d
1 changed files with 6 additions and 0 deletions
@@ -857,6 +857,12 @@ fun runTest() {
            return false
        }

+        def inproperIeee754Comparisons = findLinesWithPrefixesRemoved(text, '// !LANGUAGE: ')
+        if (inproperIeee754Comparisons.contains('-ProperIeee754Comparisons')) {
+            // K/N supports only proper IEEE754 comparisons
+            return false
+        }
+
        def version = findLinesWithPrefixesRemoved(text, '// LANGUAGE_VERSION: ')
        if (version.size() != 0 && version.contains("1.3")) {
            // 1.3 is not yet supported