TEST CASE WRITING - Githubissues

hakaru-CS4ZP6 / hakaru

A probabilistic programming language

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

Open mkhattab940 opened 6 years ago

mkhattab940 commented 6 years ago

IMPORTANT NOTES:

If the 0 test case fails, add your test cases to the RoundTrip2 folder
If the test case fails, add a .mpl proof of the relation (see the wiki page on this)