Project

General

Profile

Feature #7978

Add more tests for rule specification sync:race

Added by Evgeny Novikov about 2 years ago. Updated about 1 year ago.

Status:
Closed
Priority:
Urgent
Category:
Testing
Target version:
Start date:
02/14/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Recently we added support for finding races with just a couple of tests that of course don't cover all aspects.


Related issues

Related to Klever - Bug #8447: Test race.c for sync:race failsClosed2017-09-20

History

#1 Updated by Evgeny Novikov over 1 year ago

  • Target version set to 0.2

Let's try to do this soon than later, especially, taking into account that some tests were already developed but were not announced.

#2 Updated by Evgeny Novikov over 1 year ago

  • Target version changed from 0.2 to 1.0

#3 Updated by Pavel Andrianov over 1 year ago

Few more tests are available in branch races_tests. Other part of tests will be uploaded soon.

#4 Updated by Evgeny Novikov over 1 year ago

Please, rebase your branch on top of branch tests. There we fixed the underlying testing framework as well as numerous issues in tests themselves. Don't forget to follow coding style rules and avoid build warnings.

#5 Updated by Evgeny Novikov over 1 year ago

  • Status changed from New to Resolved

At last we have many tests for sync:race. Unfortunately many tests unintentionally fail or completely broken. I moved them to directory todo.

#6 Updated by Evgeny Novikov about 1 year ago

  • Status changed from Resolved to Closed

I merged branch tests to master in f96d83aa.

Also available in: Atom PDF