Distribution Testing

[chrisgioia64]

Integration Testing for the New Distributions

• [ ] Write BLOG models for each of the distributions.
• [ ] Manually go through models to see they give sensible results

More importantly,

• [ ] Go through all BLOG examples, and list those that don't work

[chrisgioia64]

If you find an error in one of the distributions, please add it here:

• [ ] #206 (Categorical)
• [ ] #208 (Multivariate Gaussian)

[cberzan]

@chrisgioia64 We don't have time to write full regression tests. Instead, let's just run blog by hand on all models under example/, and list those that don't work, and why.

[chrisgioia64]

The following examples don't work on commit 39348dbf1771954087bba4399cdc2af2e564a781

• [ ] aircraft-position.blog obs {Blip b} = {B1, B2, B3}
• [ ] aircraft-static.blog

Using fixed random seed for repeatability.
example/aircraft-static.blog::18.11: syntax error at Symbol: b (example/aircraft-static.blog:18/11(359) - example/aircraft-static.blog:18/12(360))
example/aircraft-static.blog::18.5: incorrect expression in left hand side of evidence
example/aircraft-static.blog::25.18: syntax error at Symbol: a (example/aircraft-static.blog:25/18(521) - example/aircraft-static.blog:25/19(522))
example/aircraft-static.blog::25.8: expecting number expression here. # should be followed by a type or a set

Removed lines: 18, 25, 26

[lileicc]

The syntax is incorrect obs {Blip b} = {B1, B2, B3}

[lileicc]

@chrisgioia64 We made a few changes to the syntax. Notably, no implicitset anymore. All set should be either tuple set or explicit set.