From 0a638e45260362efed74012a31937784b2be7a6b Mon Sep 17 00:00:00 2001 From: Loup Vaillant Date: Tue, 11 Apr 2023 13:47:45 +0200 Subject: [PATCH] Enable TIS results for EdDSA_pk --- tis.config | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/tis.config b/tis.config index 41ed57b..796e2d7 100644 --- a/tis.config +++ b/tis.config @@ -1449,7 +1449,6 @@ ] , "cpp-extra-args": "-Isrc -Isrc/optional -Itests" , "machdep" : "sparc_32" -, "no-results" : true , "main" : "v_edDSA_pk" }, { "name" : "v_edDSA_pk - x86_32" @@ -1461,7 +1460,6 @@ ] , "cpp-extra-args": "-Isrc -Isrc/optional -Itests" , "machdep" : "x86_32" -, "no-results" : true , "main" : "v_edDSA_pk" }, { "name" : "v_edDSA_pk - x86_16" @@ -1473,7 +1471,6 @@ ] , "cpp-extra-args": "-Isrc -Isrc/optional -Itests" , "machdep" : "x86_16" -, "no-results" : true , "main" : "v_edDSA_pk" }, { "name" : "v_edDSA_pk - x86_win64" @@ -1485,7 +1482,6 @@ ] , "cpp-extra-args": "-Isrc -Isrc/optional -Itests" , "machdep" : "x86_win64" -, "no-results" : true , "main" : "v_edDSA_pk" }, { "name" : "v_edDSA_pk - armeb_eabi" @@ -1497,7 +1493,6 @@ ] , "cpp-extra-args": "-Isrc -Isrc/optional -Itests" , "machdep" : "armeb_eabi" -, "no-results" : true , "main" : "v_edDSA_pk" }, { "name" : "v_edDSA_pk - arm_eabi" @@ -1509,7 +1504,6 @@ ] , "cpp-extra-args": "-Isrc -Isrc/optional -Itests" , "machdep" : "arm_eabi" -, "no-results" : true , "main" : "v_edDSA_pk" }, { "name" : "v_edDSA_pk - aarch64" @@ -1521,7 +1515,6 @@ ] , "cpp-extra-args": "-Isrc -Isrc/optional -Itests" , "machdep" : "aarch64" -, "no-results" : true , "main" : "v_edDSA_pk" }, { "name" : "v_edDSA_pk - rv64ifdq" @@ -1533,7 +1526,6 @@ ] , "cpp-extra-args": "-Isrc -Isrc/optional -Itests" , "machdep" : "rv64ifdq" -, "no-results" : true , "main" : "v_edDSA_pk" }, { "name" : "v_edDSA_pk - mips_64" @@ -1545,7 +1537,6 @@ ] , "cpp-extra-args": "-Isrc -Isrc/optional -Itests" , "machdep" : "mips_64" -, "no-results" : true , "main" : "v_edDSA_pk" }, { "name" : "v_edDSA_pk - ppc_64" @@ -1557,7 +1548,6 @@ ] , "cpp-extra-args": "-Isrc -Isrc/optional -Itests" , "machdep" : "ppc_64" -, "no-results" : true , "main" : "v_edDSA_pk" }, { "name" : "v_ed_25519 - sparc_32" -- 2.47.3