From 1a5c5687178ae0e697247393d39a2d614a1aa819 Mon Sep 17 00:00:00 2001
From: Michael Baentsch <57787676+baentsch@users.noreply.github.com>
Date: Sun, 5 Jun 2022 20:49:58 +0200
Subject: [PATCH] bring testing and documentation in line (#123)

---
 .circleci/config.yml  | 4 ++--
 oqs-test/run_tests.sh | 4 +++-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 31a54735b6a7..6593c2fc4586 100644
--- 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
index dc657797e104..30e9481f9dd6 100755
--- 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 \