Project

General

Profile

Change Request #3619

[code refactoring] create an interface for variables to values map

Added by Anonymous over 1 year ago. Updated almost 1 year ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
01/20/2019
Due date:
% Done:

0%

Estimated time:

Description

A map from variables in scope to values is the core element of a counterexample step, a test step, or the unsatisfiability witness returned by Z3.

Create an interface for this kind of map, which will be used by multiple formal checks. Additionally, refactor the code converting a counterexample to a simulation trace using this interface.

History

#1 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.15 RC1 (Feature Freeze) to AF3 2.16 RC1 (Feature Freeze)

#2 Updated by Simon Barner almost 1 year ago

  • Tracker changed from Support to Change Request
  • Assignee deleted (Anonymous)
  • Target version changed from AF3 2.16 RC1 (Feature Freeze) to Backlog

Also available in: Atom PDF