Project

General

Profile

Feature #7978

Add more tests for rule specification sync:race

Added by Evgeny Novikov over 2 years ago. Updated over 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 failsClosed09/20/2017

Actions

History

#1

Updated by Evgeny Novikov almost 2 years 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 almost 2 years ago

  • Target version changed from 0.2 to 1.0
#3

Updated by Pavel Andrianov almost 2 years 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 over 1 year ago

  • Status changed from Resolved to Closed

I merged branch tests to master in f96d83aa.

Also available in: Atom PDF