Project

General

Profile

Actions
Copy link

Feature #7978

closed

Add more tests for rule specification sync:race

Added by Evgeny Novikov about 7 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Pavel Andrianov
Category:
Testing
Target version:
1.0
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 1 (0 open — 1 closed)

Related to Klever - Bug #8447: Test race.c for sync:race failsClosedEvgeny Novikov09/20/2017

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov over 6 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.

Actions
Copy link
 #2

Updated by Evgeny Novikov over 6 years ago

  • Target version changed from 0.2 to 1.0
Actions
Copy link
 #3

Updated by Pavel Andrianov over 6 years ago

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

Actions
Copy link
 #4

Updated by Evgeny Novikov over 6 years 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.

Actions
Copy link
 #5

Updated by Evgeny Novikov over 6 years 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.

Actions
Copy link
 #6

Updated by Evgeny Novikov over 6 years ago

  • Status changed from Resolved to Closed

I merged branch tests to master in f96d83aa.

Actions
Copy link

Also available in: Atom PDF