kiselev / aic-praise

Automatically exported from code.google.com/p/aic-praise
0 stars 0 forks source link

LBPStressIt.testStressTest3 throwing exception after replacement of direct by plain cardinality #33

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago
LBPStressIt.testStressTest3 throwing exception after replacement of direct by 
plain cardinality

Not sure if bug is in loopy BP or plain cardinality.

Decided to comment out and wait until planned brute-force cardinality 
correctness check is implemented and possibly reveals bugs. If it does not 
reveals bug, need to come back here and fix this example (if we are to keep LBP 
at all).

Original issue reported on code.google.com by rodrigob...@gmail.com on 1 Nov 2014 at 4:27