TuringLang / DynamicPPL.jl / 8758276676

push

github

Added `check_model` and sub-module `DebugUtils` (#540)

* initial work on model checking

* use record_pre_tilde!, record_post_tilde!, etc. instead of just a
single record_tilde! + support for dot tilde + return issuccess and
additional info in check_model

* added test_context_interface to TestUtils

* added tests for check_model

* moved debug contexts and check_model to a separate file

* export check_model + make DebugContext take the model as input so we
can further customize

* noticed I forgot to include check_models.jl file

* fixed tests

* added record-methods for observe statements too

* use explicit types for the recorded tilde statements + added
convenient show methods to make displaying the trace nicer

* renamd check__model to debug_utils and put it into a module

* renamed test/check_model.jl to test/debug_utils.jl

* removed unnecessary stuff in tests

* added test for logging of statements

* removed unnecessary splatting in broadcasting + improved errors for
encountering missing

* added missing implementation of tilde_observe for PrefixContext

* re-ordered method implementations for DebugContext to make things a
bit more readable

* addeed error message indicating that usage of missing for
de-conditioning is restricted to univariate distributions

* added missing left field to ObserveStmt

* fixed conditioned

* fixed `fixed` too, and moved the `_merge` to a more sensible location

* added check_model_post_evaluation and made it so we're using
SamplingContext by default since we're using an empty VarInfo by default

* removed show_statements

* perform some simple checks to make sure show is working for statements

* improved test for show of statements a tiny bit

* added some more docs

* more docs

* Apply suggestions from code review

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>

* fixed typo in warning

* moved inclusion of trace and others in return-value from check_model
to ch... (continued)

109 of 265 new or added lines in 5 files covered. (41.13%)

2723 of 3455 relevant lines covered (78.81%)

470514.58 hits per line