Feature #7356
Create additional validation set
0%
Description
In this feature request I suppose to mention well-known bugs that can be found by Klever and that aren't included into any validation sets.
Related issues
Updated by Evgeny Novikov almost 5 years ago
Commit 91bf0c2dcb93 fixes a bug that can be found with using BAM with (almost) the same settings as for finding target bug 9aaf9678ea3e~/sound/pci/emu10k1/snd-emu10k1-synth.ko/linux:spinlock.
Thanks to Pavel for discovering this.
Updated by Evgeny Novikov over 4 years ago
- Assignee set to Evgeny Novikov
- Priority changed from Normal to Urgent
I think that this can be done quite easy but will help quite much.
Updated by Evgeny Novikov over 4 years ago
- Assignee deleted (
Evgeny Novikov) - Priority changed from Urgent to High
One more advanced feature that will be implemented later.
Updated by Evgeny Novikov about 4 years ago
- Priority changed from High to Urgent
I think that an extended validation set will be extremely useful for testing various aspects. Even a quite small set we are using helped us very much.
Updated by Evgeny Novikov almost 4 years ago
- Assignee deleted (
Evgeny Novikov) - Priority changed from Urgent to High
There are too many very high priority issues. This one can be done after really important features will be supported.
Updated by Evgeny Novikov 3 months ago
- Target version set to 3.1
- Assignee set to Evgeny Novikov
Let's do this in Klever 3.1.
Updated by Evgeny Novikov 3 months ago
- Blocked by Feature #9604: Develop new test suite for CPAchecker on base of Klever integration tests added
Updated by Evgeny Novikov about 2 months ago
- Target version changed from 3.1 to 3.2
We need to release Klever 3.1 faster due to an incompatibility with Clade 3.3+ and a new OpenStack cloud.