basis/math/primes/safe/safe-tests.factor

   1 ! Copyright (C) 2009 Doug Coleman.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: math.primes.safe math.primes.safe.private tools.test ;
   4 IN: math.primes.safe.tests
   5
   6 [ 863 ] [ 862 next-safe-prime ] unit-test
   7 [ f ] [ 862 safe-prime? ] unit-test
   8 [ t ] [ 7 safe-prime? ] unit-test
   9 [ f ] [ 31 safe-prime? ] unit-test
  10 [ t ] [ 47 safe-prime-candidate? ] unit-test
  11 [ t ] [ 47 safe-prime? ] unit-test
  12 [ t ] [ 863 safe-prime? ] unit-test
  13
  14 [ 47 ] [ 31 next-safe-prime ] unit-test