Project

General

Profile

Actions

Feature #8889

closed

Support verification job formats properly

Added by Evgeny Novikov over 6 years ago. Updated almost 5 years ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
05/24/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

At the moment verification job formats are fake since they don't work as expected. I suggest to explicitly specify formats for all verification jobs rather than do this globally. Then Core will be able to accept just those verification jobs that have supported formats.


Related issues 1 (0 open1 closed)

Related to Klever - Feature #8434: Get rid of job classesClosedEvgeny Novikov09/18/201712/14/2017

Actions
Actions #1

Updated by Evgeny Novikov over 6 years ago

Actions #2

Updated by Evgeny Novikov over 6 years ago

  • Target version changed from 2.0 to 1.1

This issue is not strictly bound with purposes of 2.0 that targets verification of C software.

Actions #3

Updated by Evgeny Novikov over 6 years ago

  • Target version changed from 1.1 to 2.0

I suggest quite many changes in Bridge, so, let's wait when Vladimir will return from his vacation.

Actions #4

Updated by Evgeny Novikov about 6 years ago

  • Target version changed from 2.0 to 3.0

This is not so important for Klever 2.0.

Actions #5

Updated by Evgeny Novikov about 5 years ago

  • Category set to Bridge
  • Status changed from New to Resolved
  • Assignee changed from Evgeny Novikov to Vladimir Gratinskiy

It turned out that Core have not relied on the verification job format at all (corresponding code was removed one day a long ago). So, Vladimir removed format from Bridge as well in branch klever-3.0.

We decided that this format is not required at the moment since it has sense primarily when different versions of Klever components interact with each other. We have not this ever by design and I am not sure that we will have this one day.

In addition, Vladimir removed formats of some other stuff in Bridge.

Actions #6

Updated by Evgeny Novikov almost 5 years ago

  • Status changed from Resolved to Closed

In master.

Actions

Also available in: Atom PDF