Project

General

Profile

Feature #8084

Add marks for testing and validation sets

Added by Evgeny Novikov about 2 years ago. Updated 11 months ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Preset jobs, marks and tags
Target version:
Start date:
04/18/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Recently marks became working and very useful. So now we should develop them for tests and validation tasks since this will allow to detect a lot of issues.


Related issues

Related to Klever - Feature #8080: Clarify validation setClosed04/18/2017

Actions
Related to Klever - Bug #9048: Analyze and fix some preset marks for validation jobClosed07/02/2018

Actions
Blocked by Klever - Feature #8147: Add support for preset unsafe and safe marksClosed04/24/201705/03/2017

Actions
Blocked by Klever - Feature #8650: Allow to download marks in preset formatClosed12/27/201701/09/2018

Actions
Blocked by Klever - Bug #8717: Population does not work with unsafes marks in presetsClosed02/12/201802/13/2018

Actions
Blocked by Klever - Bug #8690: LKVOG fails at solving testsClosed01/26/2018

Actions
Blocked by Klever - Feature #8086: Remove all files when it becomes clear that they won't be used anymoreClosed04/18/2017

Actions
Blocked by Klever - Feature #8733: Allow creating marks for unknowns with particular attributes Closed02/20/2018

Actions

History

#1

Updated by Evgeny Novikov almost 2 years ago

  • Category set to Preset jobs, marks and tags
  • Assignee set to Evgeny Novikov
#2

Updated by Evgeny Novikov over 1 year ago

  • Target version set to 1.0
#3

Updated by Evgeny Novikov over 1 year ago

  • Blocked by Feature #8650: Allow to download marks in preset format added
#4

Updated by Evgeny Novikov over 1 year ago

  • Assignee changed from Evgeny Novikov to Ilja Zakharov

I'm quite busy at the moment, so, do not stop the total progress.

#5

Updated by Ilja Zakharov about 1 year ago

  • Blocked by Bug #8717: Population does not work with unsafes marks in presets added
#6

Updated by Ilja Zakharov about 1 year ago

  • Blocked by Bug #8690: LKVOG fails at solving tests added
#7

Updated by Ilja Zakharov about 1 year ago

  • Blocked by Feature #8086: Remove all files when it becomes clear that they won't be used anymore added
#8

Updated by Ilja Zakharov about 1 year ago

  • Blocked by Feature #8733: Allow creating marks for unknowns with particular attributes added
#9

Updated by Ilja Zakharov 11 months ago

  • Status changed from New to Resolved

Added new marks for all presets jobs. Implemented in 8084-marks-presets. It is based on core-new-formats branch.

#10

Updated by Evgeny Novikov 11 months ago

  • Status changed from Resolved to Closed

I merged the branch to master in 4339da97 as a part of branch core-new-formats.

#11

Updated by Evgeny Novikov 10 months ago

  • Related to Bug #9048: Analyze and fix some preset marks for validation job added

Also available in: Atom PDF