bring testing and documentation in line (#123)

open-quantum-safe · Jun 5, 2022 · 1a5c568 · 1a5c568
1 parent a3fa262
commit 1a5c568
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -38,8 +38,8 @@ jobs:
           name: Build OpenSSH
           command: env WITH_OPENSSL=<< parameters.WITH_OPENSSL >> ./oqs-scripts/build_openssh.sh
       - run:
-          name: Run short tests
-          command: make tests LTESTS=""
+          name: Run tests documented to pass
+          command: ./oqs-test/run_tests.sh
       - run:
           name: Ensure we have the ssh and sshd syntax right once for each algorithm
           command: python3 oqs-test/try_connection.py doone

diff --git a/oqs-test/run_tests.sh b/oqs-test/run_tests.sh
@@ -10,7 +10,9 @@ INVESTIGATE_FURTHER="integrity \
                      keys-command \
                      hostkey-agent \
                      authinfo \
-                     principals-command"
+                     principals-command \
+                     knownhosts-command \
+                     hostkey-rotate"
 SKIPPED_DUE_TO_CERTIFIED_KEYS="agent \
                                cert-hostkey \
                                cert-userkey \