typedb icon indicating copy to clipboard operation
typedb copied to clipboard

Published 20 hours ago • verified publisher icon vaticle

Variable role resolution non-deterministically receives too few answers

Open krishnangovindraj opened this issue 2 years ago • 1 comments

Description

The BDD scenario "converting a fixed role to a variable bound with 'sub role' (?)(Variable Role Resolution)" fails non-deterministically with error java.lang.AssertionError: Expected [27] answers, but got [24] expected:<27> but was:<24>

Environment

  1. OS (where TypeDB server runs): grabl
  2. TypeDB version (and platform): 2.11.1
  3. TypeDB client: BDD tests
  4. Other environment details:

Expected Output

Assertion should succeed

( may be related to: #6355 )

krishnangovindraj avatar Jul 12 '22 11:07 krishnangovindraj

(Nope. I was just missing a variable)

krishnangovindraj avatar Jul 22 '22 14:07 krishnangovindraj

@krishnangovindraj can you set this to run 1000 times overnight at some point and see we can consider this an open issue still? Reasoner BDD has been quite reliable recently from what i've seen

flyingsilverfin avatar Nov 08 '22 15:11 flyingsilverfin

Reasoner BDD has been reliable for months, running 100x did not reproduce. Closing as fixed.

krishnangovindraj avatar Jan 11 '23 16:01 krishnangovindraj