From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Fri, 24 Mar 2023 07:17:28 +0000 (+0100)
Subject: Revert "Enable results for inspection"
X-Git-Url: https://git.codecow.com/?a=commitdiff_plain;h=10c1b0bd401e23e1c7cb3977229ee7ec987ba511;p=Monocypher.git

Revert "Enable results for inspection"

Enabling inspection causes some tests to run out of memory.

This reverts commit 15113e2fc498cf243bee7b4d2ebbe27232132e07.
---

diff --git a/tests/tis-ci-gen-config.sh b/tests/tis-ci-gen-config.sh
index 5733d63..8ad1a59 100755
--- a/tests/tis-ci-gen-config.sh
+++ b/tests/tis-ci-gen-config.sh
@@ -102,7 +102,7 @@ do
         echo '  ]'                                                >> $TIS_CONFIG
         echo ', "cpp-extra-args": "-Isrc -Isrc/optional -Itests"' >> $TIS_CONFIG
         echo ', "machdep"       :' "\"$platform\""                >> $TIS_CONFIG
-        # echo ', "no-results"    : true'                           >> $TIS_CONFIG
+        echo ', "no-results"    : true'                           >> $TIS_CONFIG
         echo ', "main"          :' "\"$entry_point\""             >> $TIS_CONFIG
         echo '},'                                                 >> $TIS_CONFIG
     done
diff --git a/tis.config b/tis.config
index b52f59f..18c3b92 100644
--- a/tis.config
+++ b/tis.config
@@ -9,6 +9,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_chacha20"
 },
 { "name"          : "v_chacha20 - x86_32"
@@ -20,6 +21,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_chacha20"
 },
 { "name"          : "v_chacha20 - x86_16"
@@ -31,6 +33,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_chacha20"
 },
 { "name"          : "v_chacha20 - x86_win64"
@@ -42,6 +45,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_chacha20"
 },
 { "name"          : "v_chacha20 - armeb_eabi"
@@ -53,6 +57,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_chacha20"
 },
 { "name"          : "v_chacha20 - arm_eabi"
@@ -64,6 +69,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_chacha20"
 },
 { "name"          : "v_chacha20 - aarch64"
@@ -75,6 +81,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_chacha20"
 },
 { "name"          : "v_chacha20 - rv64ifdq"
@@ -86,6 +93,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_chacha20"
 },
 { "name"          : "v_chacha20 - mips_64"
@@ -97,6 +105,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_chacha20"
 },
 { "name"          : "v_chacha20 - ppc_64"
@@ -108,6 +117,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_chacha20"
 },
 { "name"          : "v_ietf_chacha20 - sparc_32"
@@ -119,6 +129,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_ietf_chacha20"
 },
 { "name"          : "v_ietf_chacha20 - x86_32"
@@ -130,6 +141,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_ietf_chacha20"
 },
 { "name"          : "v_ietf_chacha20 - x86_16"
@@ -141,6 +153,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_ietf_chacha20"
 },
 { "name"          : "v_ietf_chacha20 - x86_win64"
@@ -152,6 +165,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_ietf_chacha20"
 },
 { "name"          : "v_ietf_chacha20 - armeb_eabi"
@@ -163,6 +177,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_ietf_chacha20"
 },
 { "name"          : "v_ietf_chacha20 - arm_eabi"
@@ -174,6 +189,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_ietf_chacha20"
 },
 { "name"          : "v_ietf_chacha20 - aarch64"
@@ -185,6 +201,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_ietf_chacha20"
 },
 { "name"          : "v_ietf_chacha20 - rv64ifdq"
@@ -196,6 +213,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_ietf_chacha20"
 },
 { "name"          : "v_ietf_chacha20 - mips_64"
@@ -207,6 +225,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_ietf_chacha20"
 },
 { "name"          : "v_ietf_chacha20 - ppc_64"
@@ -218,6 +237,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_ietf_chacha20"
 },
 { "name"          : "v_hchacha20 - sparc_32"
@@ -229,6 +249,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_hchacha20"
 },
 { "name"          : "v_hchacha20 - x86_32"
@@ -240,6 +261,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_hchacha20"
 },
 { "name"          : "v_hchacha20 - x86_16"
@@ -251,6 +273,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_hchacha20"
 },
 { "name"          : "v_hchacha20 - x86_win64"
@@ -262,6 +285,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_hchacha20"
 },
 { "name"          : "v_hchacha20 - armeb_eabi"
@@ -273,6 +297,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_hchacha20"
 },
 { "name"          : "v_hchacha20 - arm_eabi"
@@ -284,6 +309,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_hchacha20"
 },
 { "name"          : "v_hchacha20 - aarch64"
@@ -295,6 +321,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_hchacha20"
 },
 { "name"          : "v_hchacha20 - rv64ifdq"
@@ -306,6 +333,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_hchacha20"
 },
 { "name"          : "v_hchacha20 - mips_64"
@@ -317,6 +345,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_hchacha20"
 },
 { "name"          : "v_hchacha20 - ppc_64"
@@ -328,6 +357,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_hchacha20"
 },
 { "name"          : "v_xchacha20 - sparc_32"
@@ -339,6 +369,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_xchacha20"
 },
 { "name"          : "v_xchacha20 - x86_32"
@@ -350,6 +381,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_xchacha20"
 },
 { "name"          : "v_xchacha20 - x86_16"
@@ -361,6 +393,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_xchacha20"
 },
 { "name"          : "v_xchacha20 - x86_win64"
@@ -372,6 +405,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_xchacha20"
 },
 { "name"          : "v_xchacha20 - armeb_eabi"
@@ -383,6 +417,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_xchacha20"
 },
 { "name"          : "v_xchacha20 - arm_eabi"
@@ -394,6 +429,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_xchacha20"
 },
 { "name"          : "v_xchacha20 - aarch64"
@@ -405,6 +441,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_xchacha20"
 },
 { "name"          : "v_xchacha20 - rv64ifdq"
@@ -416,6 +453,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_xchacha20"
 },
 { "name"          : "v_xchacha20 - mips_64"
@@ -427,6 +465,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_xchacha20"
 },
 { "name"          : "v_xchacha20 - ppc_64"
@@ -438,6 +477,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_xchacha20"
 },
 { "name"          : "v_poly1305 - sparc_32"
@@ -449,6 +489,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_poly1305"
 },
 { "name"          : "v_poly1305 - x86_32"
@@ -460,6 +501,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_poly1305"
 },
 { "name"          : "v_poly1305 - x86_16"
@@ -471,6 +513,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_poly1305"
 },
 { "name"          : "v_poly1305 - x86_win64"
@@ -482,6 +525,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_poly1305"
 },
 { "name"          : "v_poly1305 - armeb_eabi"
@@ -493,6 +537,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_poly1305"
 },
 { "name"          : "v_poly1305 - arm_eabi"
@@ -504,6 +549,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_poly1305"
 },
 { "name"          : "v_poly1305 - aarch64"
@@ -515,6 +561,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_poly1305"
 },
 { "name"          : "v_poly1305 - rv64ifdq"
@@ -526,6 +573,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_poly1305"
 },
 { "name"          : "v_poly1305 - mips_64"
@@ -537,6 +585,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_poly1305"
 },
 { "name"          : "v_poly1305 - ppc_64"
@@ -548,6 +597,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_poly1305"
 },
 { "name"          : "v_aead_ietf - sparc_32"
@@ -559,6 +609,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_aead_ietf"
 },
 { "name"          : "v_aead_ietf - x86_32"
@@ -570,6 +621,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_aead_ietf"
 },
 { "name"          : "v_aead_ietf - x86_16"
@@ -581,6 +633,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_aead_ietf"
 },
 { "name"          : "v_aead_ietf - x86_win64"
@@ -592,6 +645,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_aead_ietf"
 },
 { "name"          : "v_aead_ietf - armeb_eabi"
@@ -603,6 +657,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_aead_ietf"
 },
 { "name"          : "v_aead_ietf - arm_eabi"
@@ -614,6 +669,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_aead_ietf"
 },
 { "name"          : "v_aead_ietf - aarch64"
@@ -625,6 +681,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_aead_ietf"
 },
 { "name"          : "v_aead_ietf - rv64ifdq"
@@ -636,6 +693,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_aead_ietf"
 },
 { "name"          : "v_aead_ietf - mips_64"
@@ -647,6 +705,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_aead_ietf"
 },
 { "name"          : "v_aead_ietf - ppc_64"
@@ -658,6 +717,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_aead_ietf"
 },
 { "name"          : "v_blake2b - sparc_32"
@@ -669,6 +729,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_blake2b"
 },
 { "name"          : "v_blake2b - x86_32"
@@ -680,6 +741,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_blake2b"
 },
 { "name"          : "v_blake2b - x86_16"
@@ -691,6 +753,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_blake2b"
 },
 { "name"          : "v_blake2b - x86_win64"
@@ -702,6 +765,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_blake2b"
 },
 { "name"          : "v_blake2b - armeb_eabi"
@@ -713,6 +777,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_blake2b"
 },
 { "name"          : "v_blake2b - arm_eabi"
@@ -724,6 +789,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_blake2b"
 },
 { "name"          : "v_blake2b - aarch64"
@@ -735,6 +801,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_blake2b"
 },
 { "name"          : "v_blake2b - rv64ifdq"
@@ -746,6 +813,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_blake2b"
 },
 { "name"          : "v_blake2b - mips_64"
@@ -757,6 +825,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_blake2b"
 },
 { "name"          : "v_blake2b - ppc_64"
@@ -768,6 +837,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_blake2b"
 },
 { "name"          : "v_sha512 - sparc_32"
@@ -779,6 +849,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_sha512"
 },
 { "name"          : "v_sha512 - x86_32"
@@ -790,6 +861,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_sha512"
 },
 { "name"          : "v_sha512 - x86_16"
@@ -801,6 +873,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_sha512"
 },
 { "name"          : "v_sha512 - x86_win64"
@@ -812,6 +885,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_sha512"
 },
 { "name"          : "v_sha512 - armeb_eabi"
@@ -823,6 +897,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_sha512"
 },
 { "name"          : "v_sha512 - arm_eabi"
@@ -834,6 +909,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_sha512"
 },
 { "name"          : "v_sha512 - aarch64"
@@ -845,6 +921,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_sha512"
 },
 { "name"          : "v_sha512 - rv64ifdq"
@@ -856,6 +933,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_sha512"
 },
 { "name"          : "v_sha512 - mips_64"
@@ -867,6 +945,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_sha512"
 },
 { "name"          : "v_sha512 - ppc_64"
@@ -878,6 +957,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_sha512"
 },
 { "name"          : "v_sha512_hmac - sparc_32"
@@ -889,6 +969,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_sha512_hmac"
 },
 { "name"          : "v_sha512_hmac - x86_32"
@@ -900,6 +981,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_sha512_hmac"
 },
 { "name"          : "v_sha512_hmac - x86_16"
@@ -911,6 +993,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_sha512_hmac"
 },
 { "name"          : "v_sha512_hmac - x86_win64"
@@ -922,6 +1005,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_sha512_hmac"
 },
 { "name"          : "v_sha512_hmac - armeb_eabi"
@@ -933,6 +1017,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_sha512_hmac"
 },
 { "name"          : "v_sha512_hmac - arm_eabi"
@@ -944,6 +1029,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_sha512_hmac"
 },
 { "name"          : "v_sha512_hmac - aarch64"
@@ -955,6 +1041,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_sha512_hmac"
 },
 { "name"          : "v_sha512_hmac - rv64ifdq"
@@ -966,6 +1053,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_sha512_hmac"
 },
 { "name"          : "v_sha512_hmac - mips_64"
@@ -977,6 +1065,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_sha512_hmac"
 },
 { "name"          : "v_sha512_hmac - ppc_64"
@@ -988,6 +1077,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_sha512_hmac"
 },
 { "name"          : "v_sha512_hkdf - sparc_32"
@@ -999,6 +1089,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_sha512_hkdf"
 },
 { "name"          : "v_sha512_hkdf - x86_32"
@@ -1010,6 +1101,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_sha512_hkdf"
 },
 { "name"          : "v_sha512_hkdf - x86_16"
@@ -1021,6 +1113,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_sha512_hkdf"
 },
 { "name"          : "v_sha512_hkdf - x86_win64"
@@ -1032,6 +1125,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_sha512_hkdf"
 },
 { "name"          : "v_sha512_hkdf - armeb_eabi"
@@ -1043,6 +1137,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_sha512_hkdf"
 },
 { "name"          : "v_sha512_hkdf - arm_eabi"
@@ -1054,6 +1149,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_sha512_hkdf"
 },
 { "name"          : "v_sha512_hkdf - aarch64"
@@ -1065,6 +1161,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_sha512_hkdf"
 },
 { "name"          : "v_sha512_hkdf - rv64ifdq"
@@ -1076,6 +1173,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_sha512_hkdf"
 },
 { "name"          : "v_sha512_hkdf - mips_64"
@@ -1087,6 +1185,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_sha512_hkdf"
 },
 { "name"          : "v_sha512_hkdf - ppc_64"
@@ -1098,6 +1197,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_sha512_hkdf"
 },
 { "name"          : "v_argon2 - sparc_32"
@@ -1109,6 +1209,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_argon2"
 },
 { "name"          : "v_argon2 - x86_32"
@@ -1120,6 +1221,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_argon2"
 },
 { "name"          : "v_argon2 - x86_16"
@@ -1131,6 +1233,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_argon2"
 },
 { "name"          : "v_argon2 - x86_win64"
@@ -1142,6 +1245,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_argon2"
 },
 { "name"          : "v_argon2 - armeb_eabi"
@@ -1153,6 +1257,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_argon2"
 },
 { "name"          : "v_argon2 - arm_eabi"
@@ -1164,6 +1269,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_argon2"
 },
 { "name"          : "v_argon2 - aarch64"
@@ -1175,6 +1281,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_argon2"
 },
 { "name"          : "v_argon2 - rv64ifdq"
@@ -1186,6 +1293,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_argon2"
 },
 { "name"          : "v_argon2 - mips_64"
@@ -1197,6 +1305,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_argon2"
 },
 { "name"          : "v_argon2 - ppc_64"
@@ -1208,6 +1317,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_argon2"
 },
 { "name"          : "v_edDSA - sparc_32"
@@ -1219,6 +1329,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_edDSA"
 },
 { "name"          : "v_edDSA - x86_32"
@@ -1230,6 +1341,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_edDSA"
 },
 { "name"          : "v_edDSA - x86_16"
@@ -1241,6 +1353,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_edDSA"
 },
 { "name"          : "v_edDSA - x86_win64"
@@ -1252,6 +1365,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_edDSA"
 },
 { "name"          : "v_edDSA - armeb_eabi"
@@ -1263,6 +1377,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_edDSA"
 },
 { "name"          : "v_edDSA - arm_eabi"
@@ -1274,6 +1389,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_edDSA"
 },
 { "name"          : "v_edDSA - aarch64"
@@ -1285,6 +1401,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_edDSA"
 },
 { "name"          : "v_edDSA - rv64ifdq"
@@ -1296,6 +1413,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_edDSA"
 },
 { "name"          : "v_edDSA - mips_64"
@@ -1307,6 +1425,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_edDSA"
 },
 { "name"          : "v_edDSA - ppc_64"
@@ -1318,6 +1437,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_edDSA"
 },
 { "name"          : "v_ed_25519 - sparc_32"
@@ -1329,6 +1449,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_ed_25519"
 },
 { "name"          : "v_ed_25519 - x86_32"
@@ -1340,6 +1461,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_ed_25519"
 },
 { "name"          : "v_ed_25519 - x86_16"
@@ -1351,6 +1473,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_ed_25519"
 },
 { "name"          : "v_ed_25519 - x86_win64"
@@ -1362,6 +1485,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_ed_25519"
 },
 { "name"          : "v_ed_25519 - armeb_eabi"
@@ -1373,6 +1497,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_ed_25519"
 },
 { "name"          : "v_ed_25519 - arm_eabi"
@@ -1384,6 +1509,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_ed_25519"
 },
 { "name"          : "v_ed_25519 - aarch64"
@@ -1395,6 +1521,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_ed_25519"
 },
 { "name"          : "v_ed_25519 - rv64ifdq"
@@ -1406,6 +1533,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_ed_25519"
 },
 { "name"          : "v_ed_25519 - mips_64"
@@ -1417,6 +1545,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_ed_25519"
 },
 { "name"          : "v_ed_25519 - ppc_64"
@@ -1428,6 +1557,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_ed_25519"
 },
 { "name"          : "v_ed_25519_check - sparc_32"
@@ -1439,6 +1569,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_ed_25519_check"
 },
 { "name"          : "v_ed_25519_check - x86_32"
@@ -1450,6 +1581,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_ed_25519_check"
 },
 { "name"          : "v_ed_25519_check - x86_16"
@@ -1461,6 +1593,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_ed_25519_check"
 },
 { "name"          : "v_ed_25519_check - x86_win64"
@@ -1472,6 +1605,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_ed_25519_check"
 },
 { "name"          : "v_ed_25519_check - armeb_eabi"
@@ -1483,6 +1617,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_ed_25519_check"
 },
 { "name"          : "v_ed_25519_check - arm_eabi"
@@ -1494,6 +1629,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_ed_25519_check"
 },
 { "name"          : "v_ed_25519_check - aarch64"
@@ -1505,6 +1641,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_ed_25519_check"
 },
 { "name"          : "v_ed_25519_check - rv64ifdq"
@@ -1516,6 +1653,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_ed_25519_check"
 },
 { "name"          : "v_ed_25519_check - mips_64"
@@ -1527,6 +1665,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_ed_25519_check"
 },
 { "name"          : "v_ed_25519_check - ppc_64"
@@ -1538,6 +1677,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_ed_25519_check"
 },
 { "name"          : "v_elligator_dir - sparc_32"
@@ -1549,6 +1689,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_elligator_dir"
 },
 { "name"          : "v_elligator_dir - x86_32"
@@ -1560,6 +1701,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_elligator_dir"
 },
 { "name"          : "v_elligator_dir - x86_16"
@@ -1571,6 +1713,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_elligator_dir"
 },
 { "name"          : "v_elligator_dir - x86_win64"
@@ -1582,6 +1725,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_elligator_dir"
 },
 { "name"          : "v_elligator_dir - armeb_eabi"
@@ -1593,6 +1737,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_elligator_dir"
 },
 { "name"          : "v_elligator_dir - arm_eabi"
@@ -1604,6 +1749,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_elligator_dir"
 },
 { "name"          : "v_elligator_dir - aarch64"
@@ -1615,6 +1761,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_elligator_dir"
 },
 { "name"          : "v_elligator_dir - rv64ifdq"
@@ -1626,6 +1773,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_elligator_dir"
 },
 { "name"          : "v_elligator_dir - mips_64"
@@ -1637,6 +1785,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_elligator_dir"
 },
 { "name"          : "v_elligator_dir - ppc_64"
@@ -1648,6 +1797,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_elligator_dir"
 },
 { "name"          : "v_elligator_inv - sparc_32"
@@ -1659,6 +1809,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "v_elligator_inv"
 },
 { "name"          : "v_elligator_inv - x86_32"
@@ -1670,6 +1821,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "v_elligator_inv"
 },
 { "name"          : "v_elligator_inv - x86_16"
@@ -1681,6 +1833,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "v_elligator_inv"
 },
 { "name"          : "v_elligator_inv - x86_win64"
@@ -1692,6 +1845,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "v_elligator_inv"
 },
 { "name"          : "v_elligator_inv - armeb_eabi"
@@ -1703,6 +1857,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "v_elligator_inv"
 },
 { "name"          : "v_elligator_inv - arm_eabi"
@@ -1714,6 +1869,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "v_elligator_inv"
 },
 { "name"          : "v_elligator_inv - aarch64"
@@ -1725,6 +1881,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "v_elligator_inv"
 },
 { "name"          : "v_elligator_inv - rv64ifdq"
@@ -1736,6 +1893,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "v_elligator_inv"
 },
 { "name"          : "v_elligator_inv - mips_64"
@@ -1747,6 +1905,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "v_elligator_inv"
 },
 { "name"          : "v_elligator_inv - ppc_64"
@@ -1758,6 +1917,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "v_elligator_inv"
 },
 { "name"          : "p_eddsa_x25519 - sparc_32"
@@ -1769,6 +1929,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "p_eddsa_x25519"
 },
 { "name"          : "p_eddsa_x25519 - x86_32"
@@ -1780,6 +1941,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "p_eddsa_x25519"
 },
 { "name"          : "p_eddsa_x25519 - x86_16"
@@ -1791,6 +1953,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "p_eddsa_x25519"
 },
 { "name"          : "p_eddsa_x25519 - x86_win64"
@@ -1802,6 +1965,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "p_eddsa_x25519"
 },
 { "name"          : "p_eddsa_x25519 - armeb_eabi"
@@ -1813,6 +1977,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "p_eddsa_x25519"
 },
 { "name"          : "p_eddsa_x25519 - arm_eabi"
@@ -1824,6 +1989,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "p_eddsa_x25519"
 },
 { "name"          : "p_eddsa_x25519 - aarch64"
@@ -1835,6 +2001,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "p_eddsa_x25519"
 },
 { "name"          : "p_eddsa_x25519 - rv64ifdq"
@@ -1846,6 +2013,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "p_eddsa_x25519"
 },
 { "name"          : "p_eddsa_x25519 - mips_64"
@@ -1857,6 +2025,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "p_eddsa_x25519"
 },
 { "name"          : "p_eddsa_x25519 - ppc_64"
@@ -1868,6 +2037,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "p_eddsa_x25519"
 },
 { "name"          : "p_dirty - sparc_32"
@@ -1879,6 +2049,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "p_dirty"
 },
 { "name"          : "p_dirty - x86_32"
@@ -1890,6 +2061,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "p_dirty"
 },
 { "name"          : "p_dirty - x86_16"
@@ -1901,6 +2073,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "p_dirty"
 },
 { "name"          : "p_dirty - x86_win64"
@@ -1912,6 +2085,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "p_dirty"
 },
 { "name"          : "p_dirty - armeb_eabi"
@@ -1923,6 +2097,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "p_dirty"
 },
 { "name"          : "p_dirty - arm_eabi"
@@ -1934,6 +2109,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "p_dirty"
 },
 { "name"          : "p_dirty - aarch64"
@@ -1945,6 +2121,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "p_dirty"
 },
 { "name"          : "p_dirty - rv64ifdq"
@@ -1956,6 +2133,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "p_dirty"
 },
 { "name"          : "p_dirty - mips_64"
@@ -1967,6 +2145,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "p_dirty"
 },
 { "name"          : "p_dirty - ppc_64"
@@ -1978,6 +2157,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "p_dirty"
 },
 { "name"          : "p_x25519_inverse - sparc_32"
@@ -1989,6 +2169,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "p_x25519_inverse"
 },
 { "name"          : "p_x25519_inverse - x86_32"
@@ -2000,6 +2181,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "p_x25519_inverse"
 },
 { "name"          : "p_x25519_inverse - x86_16"
@@ -2011,6 +2193,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "p_x25519_inverse"
 },
 { "name"          : "p_x25519_inverse - x86_win64"
@@ -2022,6 +2205,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "p_x25519_inverse"
 },
 { "name"          : "p_x25519_inverse - armeb_eabi"
@@ -2033,6 +2217,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "p_x25519_inverse"
 },
 { "name"          : "p_x25519_inverse - arm_eabi"
@@ -2044,6 +2229,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "p_x25519_inverse"
 },
 { "name"          : "p_x25519_inverse - aarch64"
@@ -2055,6 +2241,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "p_x25519_inverse"
 },
 { "name"          : "p_x25519_inverse - rv64ifdq"
@@ -2066,6 +2253,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "p_x25519_inverse"
 },
 { "name"          : "p_x25519_inverse - mips_64"
@@ -2077,6 +2265,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "p_x25519_inverse"
 },
 { "name"          : "p_x25519_inverse - ppc_64"
@@ -2088,6 +2277,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "p_x25519_inverse"
 },
 { "name"          : "p_verify16 - sparc_32"
@@ -2099,6 +2289,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "p_verify16"
 },
 { "name"          : "p_verify16 - x86_32"
@@ -2110,6 +2301,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "p_verify16"
 },
 { "name"          : "p_verify16 - x86_16"
@@ -2121,6 +2313,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "p_verify16"
 },
 { "name"          : "p_verify16 - x86_win64"
@@ -2132,6 +2325,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "p_verify16"
 },
 { "name"          : "p_verify16 - armeb_eabi"
@@ -2143,6 +2337,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "p_verify16"
 },
 { "name"          : "p_verify16 - arm_eabi"
@@ -2154,6 +2349,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "p_verify16"
 },
 { "name"          : "p_verify16 - aarch64"
@@ -2165,6 +2361,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "p_verify16"
 },
 { "name"          : "p_verify16 - rv64ifdq"
@@ -2176,6 +2373,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "p_verify16"
 },
 { "name"          : "p_verify16 - mips_64"
@@ -2187,6 +2385,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "p_verify16"
 },
 { "name"          : "p_verify16 - ppc_64"
@@ -2198,6 +2397,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "p_verify16"
 },
 { "name"          : "p_verify32 - sparc_32"
@@ -2209,6 +2409,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "p_verify32"
 },
 { "name"          : "p_verify32 - x86_32"
@@ -2220,6 +2421,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "p_verify32"
 },
 { "name"          : "p_verify32 - x86_16"
@@ -2231,6 +2433,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "p_verify32"
 },
 { "name"          : "p_verify32 - x86_win64"
@@ -2242,6 +2445,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "p_verify32"
 },
 { "name"          : "p_verify32 - armeb_eabi"
@@ -2253,6 +2457,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "p_verify32"
 },
 { "name"          : "p_verify32 - arm_eabi"
@@ -2264,6 +2469,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "p_verify32"
 },
 { "name"          : "p_verify32 - aarch64"
@@ -2275,6 +2481,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "p_verify32"
 },
 { "name"          : "p_verify32 - rv64ifdq"
@@ -2286,6 +2493,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "p_verify32"
 },
 { "name"          : "p_verify32 - mips_64"
@@ -2297,6 +2505,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "p_verify32"
 },
 { "name"          : "p_verify32 - ppc_64"
@@ -2308,6 +2517,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "p_verify32"
 },
 { "name"          : "p_verify64 - sparc_32"
@@ -2319,6 +2529,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "sparc_32"
+, "no-results"    : true
 , "main"          : "p_verify64"
 },
 { "name"          : "p_verify64 - x86_32"
@@ -2330,6 +2541,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_32"
+, "no-results"    : true
 , "main"          : "p_verify64"
 },
 { "name"          : "p_verify64 - x86_16"
@@ -2341,6 +2553,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_16"
+, "no-results"    : true
 , "main"          : "p_verify64"
 },
 { "name"          : "p_verify64 - x86_win64"
@@ -2352,6 +2565,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "x86_win64"
+, "no-results"    : true
 , "main"          : "p_verify64"
 },
 { "name"          : "p_verify64 - armeb_eabi"
@@ -2363,6 +2577,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "armeb_eabi"
+, "no-results"    : true
 , "main"          : "p_verify64"
 },
 { "name"          : "p_verify64 - arm_eabi"
@@ -2374,6 +2589,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "arm_eabi"
+, "no-results"    : true
 , "main"          : "p_verify64"
 },
 { "name"          : "p_verify64 - aarch64"
@@ -2385,6 +2601,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "aarch64"
+, "no-results"    : true
 , "main"          : "p_verify64"
 },
 { "name"          : "p_verify64 - rv64ifdq"
@@ -2396,6 +2613,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "rv64ifdq"
+, "no-results"    : true
 , "main"          : "p_verify64"
 },
 { "name"          : "p_verify64 - mips_64"
@@ -2407,6 +2625,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "mips_64"
+, "no-results"    : true
 , "main"          : "p_verify64"
 },
 { "name"          : "p_verify64 - ppc_64"
@@ -2418,6 +2637,7 @@
   ]
 , "cpp-extra-args": "-Isrc -Isrc/optional -Itests"
 , "machdep"       : "ppc_64"
+, "no-results"    : true
 , "main"          : "p_verify64"
 }
 ]