Project

General

Profile

Actions

Feature #6664

closed

Development mode

Added by Evgeny Novikov about 8 years ago. Updated about 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 #1

Updated by Evgeny Novikov about 8 years ago

  • Subject changed from Core development mode to Development mode
  • Description updated (diff)
Actions #2

Updated by Evgeny Novikov about 8 years ago

File is solving intended to disable simultaneous use of the same working directory by Klever Core should be automatically deleted in the development mode.

Actions #3

Updated by Evgeny Novikov about 8 years ago

  • Status changed from New to Open
  • Priority changed from High to Urgent
Actions #4

Updated by Evgeny Novikov about 8 years ago

  • Assignee changed from Evgeny Novikov to Vladimir Gratinskiy

Initial implementation is introduced in branch 6664.

Actions #5

Updated by Vladimir Gratinskiy about 8 years ago

  • % Done changed from 0 to 100

Done. Branch - "job-run-settings".

Actions #6

Updated by Evgeny Novikov about 8 years ago

  • Status changed from Open to Closed
  • Published in build set to 318cbef

The most of work was merged to master in 318cbef. Several minor issues will be fixed later.

Actions

Also available in: Atom PDF