.

2023-08-25 11:09:39 +03:00 · 2023-08-25 11:09:39 +03:00 · eea5f9ccb0
parent 67e3e04ea2
commit eea5f9ccb0
1 changed files with 10 additions and 0 deletions
--- a/test-factordb.l
+++ b/test-factordb.l
@ -0,0 +1,10 @@
+(load "isprime.l")
+(in '(bzcat factordb-prp.bz2)
+   (until (eof)
+      (let N (format (line T))
+         (at (0 . 10000) (prin ".") (flush))
+         (or
+            (prime? N)
+            (quit "Boom!") ) ) ) )
+(msg 'ok)
+(bye)