Permalink
Checking mergeability…
Don’t worry, you can still create the pull request.
Comparing changes
Choose two branches to see what’s changed or to start a new pull request.
If you need to, you can also or
learn more about diff comparisons.
Open a pull request
Create a new pull request by comparing changes across two branches. If you need to, you can also .
Learn more about diff comparisons here.
...
- 16 commits
- 24 files changed
- 1 contributor
Commits on Oct 15, 2021
-
Make unsupported case notModelled instead of using assume
Under-approximated models can lead to spurious UNSAT results in JBMC; however, we can mark over-approximated cases as notModelled and JBMC will detect them and give a warning that behaviour is over-approximating when reporting SAT.
-
Make unsupported case notModelled instead of using assume
Under-approximated models can lead to spurious UNSAT results in JBMC; however, we can mark over-approximated cases as notModelled and JBMC will detect them and give a warning that behaviour is over-approximating when reporting SAT.
-
-
-
A partial solution for Class object singletons
This is necessary to make comparisons such as o.getClass() == o.getClass() succeed.
-
Commits on Oct 31, 2021
-
-
Class.forName is not sufficiently modelled
We do not trigger static initializer execution atm.
-
-
-
-
-
-
-
Loading
This comparison is taking too long to generate.
Unfortunately it looks like we can’t render this comparison for you right now. It might be too big, or there might be something weird with your repository.
You can try running this command locally to see the comparison on your machine:
git diff master...sv-comp22