Project

General

Profile

Feature #9243

Add more tests for models related both with EMG and requirements

Added by Evgeny Novikov 8 months ago. Updated 3 months ago.

Status:
New
Priority:
High
Category:
Testing
Target version:
-
Start date:
08/22/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

There are several rule specifications that rely upon non-standard models related both with EMG and requirements, i.e. something except ldv_initialize() and ldv_check_final_state() from bridge/jobs/presets/linux-3.14/linux/ldv/common.h. But lack of tests do not demonstrate various issues as they do not cover many non-standard cases.


Related issues

Related to Klever - Feature #9244: Refactor models and rule specifications related both with EMG and requirementsNew08/22/2018

Actions

History

#1

Updated by Evgeny Novikov 8 months ago

  • Related to Feature #9244: Refactor models and rule specifications related both with EMG and requirements added
#2

Updated by Evgeny Novikov 3 months ago

  • Target version deleted (3.0)
  • Priority changed from Urgent to High

Although tests are very important, but let's do/fix them later.

Also available in: Atom PDF