search

alan-turing-institute / PDSampler.jl

Piecewise Deterministic Sampler library (Bouncy particle sampler, Zig Zag sampler, ...)
Other
33 stars 8 forks source link

add travis CI + coverage #3

Closed tlienart closed 7 years ago

tlienart commented 7 years ago

@martintoreilly to help me with this (we may need to get access rights for alan-turing-institute)

Otherwise this tutorial is probably a good starting point.

tlienart commented 7 years ago

and when that's done and happy, we can build a readthedocs or similar.

tlienart commented 7 years ago

I believe Travis + CodeCov are now happening.

tlienart commented 7 years ago

I added a few tests where needed, most of those tests are completely trivial because implicitly validated in other parts of the code but I guess that’s fine.

The large chunk which is not going to be fixed soon is the verification of the “simulation” codes. A very dirty way could be to run the examples, use that as benchmark and check that future versions are at least backward compatible. But in terms of formal verification it’s not easy due to nature of algorithm (=> I don’t really want to spend time on this right now).