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

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