Project

General

Profile

Feature #8297

Updated by Evgeny Novikov almost 7 years ago

Klever (Bridge) command-line interface should all: This includes automatic: 
 # to create users and to populate database, 
 # to start launching of required verification jobs solution, 
 # to obtain information on processing of obtained verification results (unknowns, unsafes, safes) and their associated marks. 

 Moreover, as a huge workaround it should support uploading marks, 
 # keeping previously obtained verification results. results and their associated marks and comparing them with the new ones, 
 # providing final report with found regressions.

Back