Project

General

Profile

Actions

Feature #6664

closed

Development mode

Added by Evgeny Novikov almost 9 years ago. Updated over 8 years ago.

Status:
Closed
Priority:
Urgent
Category:
Bridge
Target version:
-
Start date:
02/01/2016
Due date:
% Done:

100%

Estimated time:
Published in build:
318cbef

Description

Now there are special options "Debug" and "Allow use of local source directories" for Core. The former allows to produce and to keep a lot of intermediate files useful for debugging but not for common usage. The latter allows to use Linux kernel source code resided in local working directories rather than in jobs. Although it considerably speeds up build command extracting, it is dangerous because of nobody will know what source code was actually used and thus shouldn't be used in production.

But in general we likely need a special development mode which turns on both these options, increases a logging debug level, tunes logging formatters and so on. Of course development mode should be turned of by default.

As a sequence we will also get a production mode with some reasonable settings.

I assume that proper sets of options for production and development are Bridge settings and the Bridge interface is responsible for specifying the mode.


Related issues 6 (1 open5 closed)

Related to Klever - Feature #6740: Super development modeClosedVladimir Gratinskiy02/03/2016

Actions
Blocks Klever - Feature #6598: Upload verifier logs and proofs just in development modeClosedEvgeny Novikov01/29/2016

Actions
Blocks Klever - Feature #6734: Include benchmarks and all input files into decision result files in development modeClosedEvgeny Novikov02/03/2016

Actions
Blocks Klever - Feature #6737: Get coverage from static verifiers if corresponding option is setClosedAlexey Polushkin02/03/2016

Actions
Blocks Klever - Feature #6743: Accomplish safes and unknowns with source files referred by input files of static verifiers in development modeRejected02/03/2016

Actions
Blocks Klever - Feature #6801: Upload and show CPAchecker statistics in development mode New02/04/2016

Actions
Actions

Also available in: Atom PDF