Project

General

Profile

Actions

Bug #7394

closed

Restore support for property automata rule specifications

Added by Vitaly Mordan almost 8 years ago. Updated almost 8 years ago.

Status:
Closed
Priority:
High
Assignee:
Category:
-
Target version:
-
Start date:
06/24/2016
Due date:
06/24/2016
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
e317c7b

Description

Currently strategies with property automata do not work and should be fixed.
Also most of rule specifications still does not support property automata.


Related issues 3 (0 open3 closed)

Related to Klever - Feature #7435: Support of several verifiers is requiredRejected07/29/2016

Actions
Follows Klever - Bug #7333: Fix nonstandard verification tasks generation strategiesClosedVitaly Mordan06/23/2016

Actions
Precedes Klever - Feature #7448: Add property automata for all rulesRejectedVitaly Mordan06/27/201606/27/2016

Actions
Actions

Also available in: Atom PDF