From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Tue, 11 Apr 2023 11:47:45 +0000 (+0200)
Subject: Enable TIS results for EdDSA_pk
X-Git-Url: https://git.codecow.com/?a=commitdiff_plain;h=0a638e45260362efed74012a31937784b2be7a6b;p=Monocypher.git

Enable TIS results for EdDSA_pk
---

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"