diff options
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar-autotest.el | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/isar/isar-autotest.el b/isar/isar-autotest.el index 123c519c..cc3d6640 100644 --- a/isar/isar-autotest.el +++ b/isar/isar-autotest.el @@ -8,18 +8,19 @@ (eval-when-compile (require 'cl)) +(eval-when (compile) + (require 'proof-site) + (proof-ready-for-assistant 'isar)) + (declare-function isar-tracing:auto-quickcheck-toggle "isar.el") (declare-function isar-tracing:auto-solve-toggle "isar.el") -(require 'proof-utils) (require 'pg-autotest) -(proof-ready-for-assistant 'isar) -(require 'isar) - (unless noninteractive - (pg-autotest log ".autotest.log") + (pg-autotest log ".autotest.log") ; convention + (pg-autotest timestart 'total) (pg-autotest remark "Testing standard Example.thy, Example-Xsym.thy") |