[nongnu] elpa/proof-general a0ebe26bbe 5/7: tests: Add test whether qrhl input method loads correctly

[ELPA Syncer]

branch: elpa/proof-general
commit a0ebe26bbefc0054cc3d85259da9bec41ffa5d58
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>

    tests: Add test whether qrhl input method loads correctly
---
 .github/workflows/test.yml   |  4 ++++
 ci/simple-tests/README.md    |  2 ++
 ci/simple-tests/test-qrhl.el | 24 ++++++++++++++++++++++++
 3 files changed, 30 insertions(+)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 826ed743af..57296e8d49 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -252,3 +252,7 @@ jobs:
 
     - run: emacs --version
     - run: make -C ci/test-indent
+
+    # Testing this here because this job runs with all Emacs versions
+    - run: make -C ci/simple-tests test-qrhl.success
+      
diff --git a/ci/simple-tests/README.md b/ci/simple-tests/README.md
index 34812cf444..03f4183ac8 100644
--- a/ci/simple-tests/README.md
+++ b/ci/simple-tests/README.md
@@ -12,6 +12,8 @@ coq-par-job-needs-compilation-quick
   possible cases
 test-prelude-correct
 : test that the Proof General prelude is correct
+test-qrhl
+: tests relating to the qRHL prover
 
 
 # Important conventions
diff --git a/ci/simple-tests/test-qrhl.el b/ci/simple-tests/test-qrhl.el
new file mode 100644
index 0000000000..0f00e2bd7f
--- /dev/null
+++ b/ci/simple-tests/test-qrhl.el
@@ -0,0 +1,24 @@
+;; This file is part of Proof General.
+;; 
+;; © Copyright 2022  Dominique Unruh
+;; 
+;; Authors: Dominique Unruh
+;; Maintainer: Dominique Unruh
+;; 
+;; SPDX-License-Identifier: GPL-3.0-or-later
+
+;;; Commentary:
+;;
+;; Tests related to the qRHL prover
+;;
+
+(ert-deftest load-qrhl-input ()
+  :expected-result :passed
+  "Test that the qRHL input method loads without errors in .qrhl files"
+
+  (message "load-qrhl-input test: Check loading of qRHL input method")
+  (find-file "test.qrhl")
+  ;; Ideally we would do some simulated keypresses and check whether they
+  ;; are translated correctly. But I don't know how. (Dominique)
+  (should (string= current-input-method "qrhl"))
+  )