Feature #8297
closed
Support command-line interface
Added by Evgeny Novikov over 7 years ago.
Updated over 6 years ago.
Description
Klever (Bridge) command-line interface should all:
- to create users and to populate database,
- to start required verification jobs solution,
- to obtain general information on verification jobs solution,
- to obtain information on verification results (unknowns, unsafes, safes) and their associated marks.
Moreover, as a huge workaround it should support uploading verification results.
- Target version set to 1.0
- Parent task deleted (
#6754)
- Project changed from 216 to Klever
- Subject changed from Add support for automatic regression testing to Support command-line interface
- Description updated (diff)
- Category set to Bridge
- Description updated (diff)
Evgeny Novikov wrote:
- to obtain general information on verification jobs solution,
Solution progress?
Vladimir Gratinskiy wrote:
Evgeny Novikov wrote:
- to obtain general information on verification jobs solution,
Solution progress?
First of all, solution statuses. In addition, various data like dates when they were started and finished is welcome.
Recently I realized that we also need to maintain a continuous backup process. Usually, the most important information is a user created Marks. There is a web interface to download them, but to have a regular automatic backup without manual user actions we need a command line interface. With the help of it we can create something like cron job for backuping marks from Klever.
- Due date set to 03/05/2018
- Status changed from New to Resolved
- % Done changed from 0 to 100
Implemented in branch "manage-extension".
- Status changed from Resolved to Open
One of important feature I missed is an ability to use job names to refer to jobs. But let's keep an ability to do that by using identifiers as well.
- Status changed from Open to Resolved
- Status changed from Resolved to Closed
I merged the branch to master in 80bae96b. One needs to migrate databases to take changes. Note, that during migration jobs having the same names will be automatically renamed.
At the moment scripts implementing the Bridge command-line interface are resided within utils/bin. To, say, download a job archive one can run:
PYTHONPATH=path/to/klever/utils path/to/klever/utils/bin/download-job.py --host 127.0.0.1:8998 --username manager "Linux 3.14"
Also available in: Atom
PDF