Project

General

Profile

Feature #7356

Create additional validation set

Added by Evgeny Novikov almost 5 years ago. Updated about 2 months ago.

Status:
New
Priority:
High
Category:
Preset jobs, marks and tags
Target version:
Start date:
06/28/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

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

Blocked by Klever - Feature #9604: Develop new test suite for CPAchecker on base of Klever integration testsOpenEvgeny Novikov04/18/2019

Actions
#1

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.

#2

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.

#3

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.

#4

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.

#5

Updated by Evgeny Novikov almost 4 years ago

  • Assignee set to Evgeny Novikov

I will do this.

#6

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.

#7

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.

#8

Updated by Evgeny Novikov 3 months ago

  • Blocked by Feature #9604: Develop new test suite for CPAchecker on base of Klever integration tests added
#9

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.

Also available in: Atom PDF