Feature #8889
closed
Support verification job formats properly
Added by Evgeny Novikov almost 6 years ago.
Updated over 4 years ago.
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.
- 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.
- 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.
- Target version changed from 2.0 to 3.0
This is not so important for Klever 2.0.
- 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.
- Status changed from Resolved to Closed
Also available in: Atom
PDF