Feature #6747
closed
- Priority changed from Normal to High
Is it make sense to take a look at some subset of the tasks or to use some other scheme of scoring?
Is it easy enough?
Alexey Khoroshilov wrote:
Is it make sense to take a look at some subset of the tasks or to use some other scheme of scoring?
Is it easy enough?
This feature request is to just try several static verifiers other than CPAchecker. I assume that there will be several issues due to our current strict relation with CPAchecker. Finally it should be possible to run any verifier participated in SV-COMP but likely just those which participated in the device driver category is fair enough.
Everything else should be done outside this feature request.
- Subject changed from Try a couple of other static verifiers to Support UAtomizer as one of Klever verification back-ends
- Category deleted (
Scheduling)
- Status changed from New to Open
- Assignee set to Ilja Zakharov
- Priority changed from High to Immediate
- Status changed from Open to Rejected
- Assignee deleted (
Ilja Zakharov)
Duplicates #7799 that looks more appropriate.
Also available in: Atom
PDF