Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

TemporalReasoningUTest failures #60

Open
linas opened this issue Nov 1, 2021 · 2 comments
Open

TemporalReasoningUTest failures #60

linas opened this issue Nov 1, 2021 · 2 comments

Comments

@linas
Copy link
Member

linas commented Nov 1, 2021

Nil,

TemporalReasoningUTest is failing after what should have been a trivial change to the AtomSpace. It passes on this commit: 78b7f37a7c18b244a9e55d91054ddc5857e6a2cb and it fails on the next one: 5848cde3ddc46279a26e413e846c8018880cebb0 The only difference between these two commits are that five new atom types were added. I can't imagine why adding some more Atom types causes TemporalReasoningUTest to fail.

More precisely, it hangs and spins -- it eats CPU time, but makes no forward progress. The last thing it prints is this:

[DEBUG] [URE] Selected and-BIT for fulfillment (fcs value):
[ac47efeeeec27302][4]

and then hangs.

@ngeiswei
Copy link
Member

ngeiswei commented Nov 5, 2021

I'm focusing on something else, will get back to that (and other pending issues) after a few days.

@linas
Copy link
Member Author

linas commented Nov 11, 2021

See also issue opencog/ure#120 -- Identical symptoms: minor change in the AtomSpace caused ForwardChainerUTest to fail. I was able to work around this by setting randGen().seed(3); in the unit test. Other seed values lead to failures.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants