Project

General

Profile

Actions
Copy link

Feature #6734

closed

Include benchmarks and all input files into decision result files in development mode

Added by Evgeny Novikov over 8 years ago. Updated about 8 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
Scheduling
Target version:
-
Start date:
02/03/2016
Due date:
% Done:

0%

Estimated time:
Published in build:
8489649

Description

In standard development mode one can need to include these files to quickly [tune them and] invoke static verifiers without using Klever.

Related issues 2 (0 open — 2 closed)

Blocked by Klever - Feature #6664: Development modeClosedVladimir Gratinskiy02/01/2016

Actions
Blocks Klever - Feature #6735: Accomplish verification reports with benchmarks and all their input filesClosedEvgeny Novikov02/03/2016

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov about 8 years ago

  • Status changed from New to Open
  • Assignee set to Evgeny Novikov
  • Priority changed from Normal to Urgent

This will help considerably to debug various issues.

Actions
Copy link
 #2

Updated by Evgeny Novikov about 8 years ago

  • Status changed from Open to Closed
  • Published in build set to 8489649

Works since 8489649.

Actions
Copy link

Also available in: Atom PDF