Enable TIS results for EdDSA_pk

diff --git a/tis.config b/tis.config
index 41ed57b153026e373a884c7743a4b5f892334f0c..796e2d70e0a8f6406ebde919b22c53c415b16d23 100644 (file)
--- 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"