What are the components that can benefit most out of hypothesis testing? I can try to implement them before I start writing a proposal it that's okay.
On Tue, 4 Mar, 2025, 4:29 am Pradyot Ranjan, <[email protected]> wrote: > Last year I worked as a GSoC student for PyBaMM. We had a stretch goal > regarding the implementation of hypothesis testing which can be tracked > here : > - https://github.com/pybamm-team/PyBaMM/issues/4703 > I also reviewed some PRs regarding this : > - https://github.com/pybamm-team/PyBaMM/pull/4724 > > Other than this I also worked as an LFX mentee last year where I > implemented Fuzz testing (which is similar to Hypothesis's property-based > testing in some ways). > > > On Tue, 4 Mar, 2025, 3:23 am Aaron Meurer, <[email protected]> wrote: > >> Yes, that project is still very relevant. If you search the codebase >> for hypothesis you'll see that it is currently only used in a few >> tests, but we want that to increase by a lot. >> >> What sort of experience do you have with hypothesis? >> >> Aaron Meurer >> >> On Mon, Mar 3, 2025 at 1:53 PM Pradyot Ranjan <[email protected]> >> wrote: >> > >> > Hi, >> > Just wanted to know if this project is still relevant regarding GSoC? >> If it is, who is the mentor? >> > I have some experience with hypothesis testing and would love to work >> here. >> > >> > Thanks, >> > Pradyot Ranjan >> > >> > -- >> > You received this message because you are subscribed to the Google >> Groups "sympy" group. >> > To unsubscribe from this group and stop receiving emails from it, send >> an email to [email protected]. >> > To view this discussion visit >> https://groups.google.com/d/msgid/sympy/afa7d863-666f-475f-ae4c-1ccb8a5d3752n%40googlegroups.com >> . >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sympy" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To view this discussion visit >> https://groups.google.com/d/msgid/sympy/CAKgW%3D6Jj85nrRpoBWnz7uwziokTKHquJDP%3Dbt8YFuZQi5pTwew%40mail.gmail.com >> . >> > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sympy/CANENgK7CmETia1vkWPr2pTrN3mNi1r%2B%2B-ALPAcPQcmaw9uvA3w%40mail.gmail.com.
