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