Project

General

Profile

Feature #8297

Support command-line interface

Added by Evgeny Novikov about 2 years ago. Updated over 1 year ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
Start date:
07/14/2017
Due date:
03/05/2018
% Done:

100%

Estimated time:
Published in build:

Description

Klever (Bridge) command-line interface should all:
  1. to create users and to populate database,
  2. to start required verification jobs solution,
  3. to obtain general information on verification jobs solution,
  4. to obtain information on verification results (unknowns, unsafes, safes) and their associated marks.

Moreover, as a huge workaround it should support uploading verification results.


Related issues

Blocked by Klever - Feature #8754: Require unique job namesClosed03/13/201803/14/2018

Actions

History

#1

Updated by Evgeny Novikov almost 2 years ago

  • Target version set to 1.0
#2

Updated by Evgeny Novikov over 1 year ago

  • Parent task deleted (#6754)
#3

Updated by Evgeny Novikov over 1 year ago

  • Category set to Bridge
  • Description updated (diff)
  • Subject changed from Add support for automatic regression testing to Support command-line interface
  • Project changed from LDV Dev to Klever
#5

Updated by Evgeny Novikov over 1 year ago

  • Description updated (diff)
#6

Updated by Vladimir Gratinskiy over 1 year ago

Evgeny Novikov wrote:

  1. to obtain general information on verification jobs solution,

Solution progress?

#7

Updated by Evgeny Novikov over 1 year ago

Vladimir Gratinskiy wrote:

Evgeny Novikov wrote:

  1. 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.

#8

Updated by Vadim Mutilin over 1 year ago

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.

#9

Updated by Vladimir Gratinskiy over 1 year ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved
  • Due date set to 03/05/2018

Implemented in branch "manage-extension".

#10

Updated by Evgeny Novikov over 1 year ago

  • 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.

#11

Updated by Evgeny Novikov over 1 year ago

#12

Updated by Vladimir Gratinskiy over 1 year ago

  • Status changed from Open to Resolved

Done.

#13

Updated by Evgeny Novikov over 1 year ago

  • 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