MultiAtomSpaceUTest fails

[mjsduncan]

this is for commit b766d7c Merge pull request #1385
tho presumably it is due to #1384 commit. debugging output is:

...
.[2017-09-27 12:30:15:902] [DEBUG] BEGIN TEST: test_pm_scm
[2017-09-27 12:30:15:920] [WARN] validate_clauses: Constant clauses removed from pattern (BindLink
  (AndLink
    (ConceptNode "I")
    (EvaluationLink
      (GroundedPredicateNode "scm: my-precondition")
      (VariableNode "$X")
    )
  )
  (ConceptNode "O")
)

[2017-09-27 12:30:15:920] [WARN] validate_clauses: Removed (ConceptNode "I")

[2017-09-27 12:30:15:920] [WARN] validate_clauses: Constant clauses removed from pattern (BindLink
  (AndLink
    (ConceptNode "I")
    (EvaluationLink
      (GroundedPredicateNode "scm: my-precondition")
      (VariableNode "$X")
    )
  )
  (ConceptNode "O")
)

[2017-09-27 12:30:15:920] [WARN] validate_clauses: Removed (ConceptNode "I")

[2017-09-27 12:30:15:920] [DEBUG] run-bug 0
[2017-09-27 12:30:15:920] [WARN] Warning: No type restrictions! Your code has a bug in it!
[2017-09-27 12:30:15:920] [WARN] Offending variable=(VariableNode "$X") ; [6809900609937598110][18]


[2017-09-27 12:30:15:920] [WARN] Offending clauses=(EvaluationLink
  (GroundedPredicateNode "scm: my-precondition") ; [2651615949034126180][18]
  (VariableNode "$X") ; [6809900609937598110][18]
) ; [12854667735129415929][18]

[2017-09-27 12:30:15:922] [DEBUG] run-bug 1
rs = Backtrace:
In ice-9/boot-9.scm:
 157: 15 [catch #t #<catch-closure 184a920> ...]
In unknown file:
   ?: 14 [apply-smob/1 #<catch-closure 184a920>]
In ice-9/boot-9.scm:
 157: 13 [catch #t #<catch-closure 184a660> ...]
In unknown file:
   ?: 12 [apply-smob/1 #<catch-closure 184a660>]
   ?: 11 [call-with-input-string "(load-from-path \"tests/scm/pm.scm\")" ...]
In ice-9/boot-9.scm:
2401: 10 [save-module-excursion #<procedure 186c630 at ice-9/eval-string.scm:65:9 ()>]
In ice-9/eval-string.scm:
  44: 9 [read-and-eval #<input: string 18ba270> #:lang ...]
  37: 8 [lp (load-from-path "tests/scm/pm.scm")]
In ice-9/boot-9.scm:
1724: 7 [%start-stack load-stack #<procedure 1854700 at ice-9/boot-9.scm:1745:2 ()>]
1729: 6 [#<procedure 186c450 ()>]
In unknown file:
   ?: 5 [primitive-load-path "tests/scm/pm.scm"]
In ice-9/boot-9.scm:
 775: 4 [for-each #<procedure run-bug (i)> (0 1 2 3 4 5 6 7 8 ...)]
In ../../../tests/scm/pm.scm:
  37: 3 [run-bug 1]
In unknown file:
   ?: 2 [opencog-extension cog-bind-first-n ({#<Invalid handle>} -1)]
In ice-9/boot-9.scm:
 102: 1 [#<procedure 1572300 at ice-9/boot-9.scm:97:6 (thrown-k . args)> wrong-type-arg ...]
In unknown file:
   ?: 0 [apply-smob/1 #<catch-closure 184a5e0> wrong-type-arg ...]

ERROR: In procedure apply-smob/1:
ERROR: In procedure cog-bind-first-n: Wrong type (expecting opencog atom): #<Invalid handle>
ABORT: wrong-type-arg

In MultiAtomSpace::test_pm_scm:
/home/mjsd/oc/atomspace/build/tests/scm/../../../tests/scm/MultiAtomSpaceUTest.cxxtest:518: Error: Test failed: Crashed while working on the new atomspace
/home/mjsd/oc/atomspace/build/tests/scm/../../../tests/scm/MultiAtomSpaceUTest.cxxtest:518: Error: Assertion failed: rs.empty()
[2017-09-27 12:30:15:926] [DEBUG] END TEST: test_pm_scm
Failed 1 and Skipped 0 of 7 tests
Success rate: 85%
<end of output>
Test time =   0.14 sec
----------------------------------------------------------
Test Failed.
"MultiAtomSpaceUTest" end time: Sep 27 20:30 CST
"MultiAtomSpaceUTest" time elapsed: 00:00:00

[linas]

According to http://61.92.69.39:8080/job/ci-atomspace/1354/ the MultiAtomSpaceUTet passes on Jenkins. So that suggests that Nil's patch did not break anything.

However, MultiAtomSpaceUTest fails in http://61.92.69.39:8080/job/ci-atomspace/1355/console So that suggests that some recent patch somewhen broke something. The last build that worked was 1350

I re-ran jenkins, again: http://61.92.69.39:8080/job/ci-atomspace/1356/console now passes.

I just ran it on my debian-stable machine, it fails with this error:

ERROR: In procedure apply-smob/1:
ERROR: In procedure dynamic-link: file: "libruleengine", message: "file not found"

On my ubuntu-14.04 machine; it passed.

[linas]

The libruleengine error suggests that it's some linker-loader error, nothing at all to do with Nil's path.

So ldd -r /usr/local/lib/opencog/libruleengine.so does not show any missing relocations.

Also: nm /usr/local/lib/opencog/libruleengine.so |grep gine_init indicates that the init function is present.

[linas]

So, (use-modules (opencog rule-engine)) by hand works fine (on the machine that fails the test). So perhaps the custom search paths in this unit test somehow works differently on different systems...

[linas]

cycling through make clean; make; make install several times does not fix the issue.

[ngeiswei]

Maybe rm -fr ~/.cache/guile does?

[linas]

Nope, rm -fr ~/.cache/guile does not fix it.

[linas]

Adding (use-modules (opencog)) in several locations does not fix it.

Also, there is an earlier error:

;;; compiling ../tests/scm/pm.scm
;;; WARNING: compilation of ../tests/scm/pm.scm failed:
;;; ERROR: In procedure dynamic-link: file: "liblogger", message: "file not found"

[linas]

ldd -r of liblogger looks fine. I'm stumped.

[mjsduncan]

thanks, linus!

[mjsduncan]

after building `git branch -v

• master ee9451a Merge pull request Append -of to preproof` and proof #1388 from ngeiswei/append-of-preproof`
  all unit tests pass.