extra/logic/examples/factorial/factorial-tests.factor

   1 ! Copyright (C) 2019-2020 KUSUMOTO Norio.
   2 ! See https://factorcode.org/license.txt for BSD license.
   3 USING: tools.test logic logic.examples.factorial ;
   4
   5 { { H{ { F 1 } } } } [ { factorial 0 F } query ] unit-test
   6
   7 { { H{ { F 1 } } } } [ { factorial 1 F } query ] unit-test
   8
   9 { { H{ { F 2 } } } } [ { factorial 2 F } query ] unit-test
  10
  11 { { H{ { F 3628800 } } } } [ { factorial 10 F } query ] unit-test