Project

General

Profile

Actions
Copy link

Feature #6615

closed

Automatically push and pop abstract verification task description

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

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
*Abstract tasks generation
Target version:
-
Start date:
01/29/2016
Due date:
% Done:

0%

Estimated time:
Published in build:
911b496

Description

At the moment all AVTG plug-ins do this by themselves, but this is definitely code duplication.

Related issues 1 (0 open — 1 closed)

Blocks Klever - Bug #7175: Potential hang of KleverClosedEvgeny Novikov05/05/2016

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 8 years ago

  • Status changed from New to Open
  • Priority changed from Normal to Urgent

Raise the priority as of the blocked issue.

Actions
Copy link
 #2

Updated by Evgeny Novikov over 8 years ago

  • Status changed from Open to Closed
  • Published in build set to 911b496

In master since 911b496.

Actions
Copy link

Also available in: Atom PDF