Project

General

Profile

Feature #9243

Add more tests for models related both with EMG and requirements

Added by Evgeny Novikov 6 months ago. Updated 29 days 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 requirementsNew2018-08-22

History

#1 Updated by Evgeny Novikov 6 months ago

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

#2 Updated by Evgeny Novikov 29 days 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