charles-river-analytics / figaro

Figaro Programming Language and Core Libraries
Other
756 stars 151 forks source link

MH Bug #737

Open bruttenberg opened 6 years ago

bruttenberg commented 6 years ago

MH is throwing an error when I try to run the following model. There is something wrong with how MH is handling rejections, as when a state is rejecting its hitting a null error when unwinding the proposed state. For example, if I remove line 50 (feat.addConstraint) this model does not crash since there are no rejections. The model also runs importance sampling no problem. I took a quick look but couldn't figure out the problem, this needs more investigation. I also tried on Figaro 4.1 and it still crashes.

RelationalTesting2.zip