Closed YvanGuifo closed 2 years ago
This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.
Totals | |
---|---|
Change from base Build 2257752634: | 1.1% |
Covered Lines: | 5798 |
Relevant Lines: | 14440 |
Can you resubmit your changes, because I completely restructure the packages?
ok i will do it now
The transitions of the basic SIR model with the DSL are given by:
We check that the number of transitions of the basic SIR model is 2