diff options
| author | Hendrik Tews | 2020-12-14 22:27:36 +0100 |
|---|---|---|
| committer | hendriktews | 2020-12-19 16:43:49 +0100 |
| commit | 7cde26b20cab22d2a82f6bb50e852bbb5688d610 (patch) | |
| tree | 9cb9181b1d7c0d2601f7d7b7edc4415e58111deb /ci/compile-tests/006-ready-dependee/e.v.orig | |
| parent | 16e784a63f2a38ce3f03e36b6fa9a7db2da211b9 (diff) | |
add auto compile test to trigger two bugs for dependees in state ready
See also the committed test.el. The test is not completely
robust, it needs to be improved in the future.
Diffstat (limited to 'ci/compile-tests/006-ready-dependee/e.v.orig')
| -rw-r--r-- | ci/compile-tests/006-ready-dependee/e.v.orig | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/ci/compile-tests/006-ready-dependee/e.v.orig b/ci/compile-tests/006-ready-dependee/e.v.orig new file mode 100644 index 00000000..0589d31b --- /dev/null +++ b/ci/compile-tests/006-ready-dependee/e.v.orig @@ -0,0 +1,15 @@ +(* This file is part of Proof General. + * + * © Copyright 2020 Hendrik Tews + * + * Authors: Hendrik Tews + * Maintainer: Hendrik Tews <hendrik@askra.de> + * + * License: GPL (GNU GENERAL PUBLIC LICENSE) + * + * + * This file is part of an automatic test case for parallel background + * compilation in coq-par-compile.el. See test.el in this directory. + *) + +Require Export f. |