Skip to content

Instantly share code, notes, and snippets.

@jsl
Created January 28, 2014 05:34
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jsl/8662748 to your computer and use it in GitHub Desktop.
Save jsl/8662748 to your computer and use it in GitHub Desktop.
Failing microKanren tests in Ruby port
justin ~/Code/ruby_ukanren $ rake
Run options: --seed 3533
# Running tests:
F...F.........................
Finished tests in 0.025549s, 1174.2143 tests/s, 1330.7762 assertions/s.
1) Failure:
MicroKanren::Core::#call_fresh#test_0008_ground appendo2 [/Users/justin/Code/ruby_ukanren/spec/micro_kanren/core_spec.rb:113]:
--- expected
+++ actual
@@ -1 +1 @@
-"((([2] b) ([1]) ([0] . a)) . 3)"
+"((([2] b) ([0] . a) ([2] b) ([1]) ([1]) ([0] . a)) . 3)"
2) Failure:
MicroKanren::Core::#call_fresh#test_0007_ground appendo [/Users/justin/Code/ruby_ukanren/spec/micro_kanren/core_spec.rb:108]:
--- expected
+++ actual
@@ -1 +1 @@
-"((([2] b) ([1]) ([0] . a)) . 3)"
+"((([2] b) ([1]) ([2] b) ([0] . a) ([1]) ([0] . a)) . 3)"
30 tests, 34 assertions, 2 failures, 0 errors, 0 skips
rake aborted!
Command failed with status (1): [ruby -I"lib:spec" -I"/Users/justin/.rvm/gems/ruby-2.1.0/gems/rake-10.1.1/lib" "/Users/justin/.rvm/gems/ruby-2.1.0/gems/rake-10.1.1/lib/rake/rake_test_loader.rb" "spec/micro_kanren/core_spec.rb" "spec/micro_kanren/lisp_spec.rb" "spec/micro_kanren/mini_kanren_wrappers_spec.rb" ]
/Users/justin/.rvm/gems/ruby-2.1.0/bin/ruby_executable_hooks:15:in `eval'
/Users/justin/.rvm/gems/ruby-2.1.0/bin/ruby_executable_hooks:15:in `<main>'
Tasks: TOP => default => test
(See full trace by running task with --trace)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment