Feature #10635
closedAdapt and document KLEVER for usage in CI
0%
Description
Most of our customers consider deployment of KLEVER as a part of existing CI process.
To be ready for such deployment we have to provide a documented way to:
1. run analysis from command line starting from building the target system.
2. wait for results and get statistics for the run.
3. generate stable URLs to result details.
Other details can be extracted during a pilot integration for one of our target systems.
Updated by Evgeny Novikov over 3 years ago
- Category set to Documentation
- Assignee set to Evgeny Novikov
I think that it does depend on particular project and particular CI.
There is an example how to build the project and collect data necessary for Klever (https://klever.readthedocs.io/en/latest/tutorial.html#preparing-build-bases). But this example covers just the Linux kernel (one version, one architecture, one configuration).
There is a command-line API to launch Klever, to wait for verification results and to download them in some format. It is used by our own CI. It is not documented anywhere.
#10530 was devoted to stable URLs, so, now URLs are already pretty well and stable, i.e. just a server name/location changes after transferring verification results from one machine to another.
Updated by Evgeny Novikov over 3 years ago
- Target version set to 3.1
Let's add some related documentation within Klever 3.1.
Updated by Evgeny Novikov over 3 years ago
- Priority changed from High to Urgent
This seems to be a quite useful piece of documentation, so, we should develop it faster.
Updated by Evgeny Novikov over 3 years ago
- Status changed from New to Resolved
I describe most vital commands of Klever Bridge CLI in branch bridge-cli-doc. In addition, we fixed several minor issues together with Vladimir in this branch.
Updated by Pavel Andrianov over 3 years ago
Are there any plans to merge the branch in the nearest future?
Updated by Evgeny Novikov over 3 years ago
Pavel Andrianov wrote:
Are there any plans to merge the branch in the nearest future?
I suggest to merge it when it will be tested extensively and when you will confirm that everything works as necessary.
Updated by Evgeny Novikov about 3 years ago
- Status changed from Resolved to Closed
Made changes and fixes passed tests, so, I merged the branch to master in ca41f4bfe and backported it to v3.0-stable.