Project

General

Profile

Actions

Feature #8297

closed

Support command-line interface

Added by Evgeny Novikov almost 7 years ago. Updated about 6 years 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 1 (0 open1 closed)

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

Actions
Actions #1

Updated by Evgeny Novikov over 6 years ago

  • Target version set to 1.0
Actions #2

Updated by Evgeny Novikov about 6 years ago

  • Parent task deleted (#6754)
Actions #3

Updated by Evgeny Novikov about 6 years ago

  • 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
Actions #5

Updated by Evgeny Novikov about 6 years ago

  • Description updated (diff)
Actions #6

Updated by Vladimir Gratinskiy about 6 years ago

Evgeny Novikov wrote:

  1. to obtain general information on verification jobs solution,

Solution progress?

Actions #7

Updated by Evgeny Novikov about 6 years 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.

Actions #8

Updated by Vadim Mutilin about 6 years 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.

Actions #9

Updated by Vladimir Gratinskiy about 6 years ago

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

Implemented in branch "manage-extension".

Actions #10

Updated by Evgeny Novikov about 6 years 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.

Actions #11

Updated by Evgeny Novikov about 6 years ago

Actions #12

Updated by Vladimir Gratinskiy about 6 years ago

  • Status changed from Open to Resolved

Done.

Actions #13

Updated by Evgeny Novikov about 6 years 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" 

Actions

Also available in: Atom PDF