Project

General

Profile

Feature #3477

MCDC implementation

Added by Anonymous about 2 years ago. Updated 12 months ago.

Status:
New
Priority:
Normal
Category:
-
Target version:
Start date:
12/14/2018
Due date:
% Done:

100%

Estimated time:
(Total: 0.00 h)

Description

This is the "master issue" for all the MCDC implementation


Subtasks

Feature #3596: MCDC: GUI ImplementationClosed


Related issues

Related to Feature #3476: implement gestTestCases() for MCDCNew07/16/2018

Related to Feature #3464: Create MCMC requirementsClosed07/02/2018

Related to Feature #3465: Transformation from IStatementTerm to z3 ExprClosed07/02/2018

History

#1 Updated by Anonymous about 2 years ago

  • Related to Feature #3476: implement gestTestCases() for MCDC added

#2 Updated by Anonymous about 2 years ago

#3 Updated by Anonymous about 2 years ago

  • Related to Feature #3465: Transformation from IStatementTerm to z3 Expr added

#4 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.14 Release to Backlog

Also available in: Atom PDF