Project

General

Profile

Actions
Copy link

Feature #10759

closed

Support describing various classes of interaction scenarios within different environment models

Added by Evgeny Novikov over 3 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Ilja Zakharov
Category:
Environment models
Target version:
3.2
Start date:
03/22/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Target programs can be too hard for verification with environment models describing many possible interaction scenarios including a plenty of initializations. Thus we need a way to consider various classes of interaction scenarios within different environment models.

Actions
Copy link
 #1

Updated by Ilja Zakharov over 3 years ago

  • Status changed from New to Open

Current implementation lives in env-models-decomposition.

All main features are implemented but there are several minor issues to fix and tests to tune.

Actions
Copy link
 #2

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Open to Closed

After all tests passed, so, I merged the branch implementing this amazing feature to master in 0eb21a0ff. That was the last issue for Klever 3.2, thus, this commit was marked as v3.2rc1.

Actions
Copy link

Also available in: Atom PDF