Statistics
| Branch: | Tag: | Revision:

root / test @ 319b7012

Name Size
  autotools
  data
  hs
  py

Latest revisions

# Date Author Comment
319b7012 04/11/2014 12:10 pm Hrvoje Ribicic

Refactor rlib2 unit tests

This huge patch removes a lot of cruft that has been accumulated in the
rlib2 test file. A new class, RAPITestCase, provides a common base for
all the tests and unifies checks that were repeated on a per-test-case
basis.

Signed-off-by: Hrvoje Ribicic <>...
dd6514c9 04/10/2014 04:03 pm Hrvoje Ribicic

Merge branch 'stable-2.11' into master

  • stable-2.11
    (no changes)
  • stable-2.10
    Revision bump for 2.10.3
    Update NEWS file for 2.10.3
    Warn in UPGRADE about not tar'ing exported insts
    Fix non-running test and remove custom_nicparams rename
    Acccount for NODE_RES lock in opportunistic locking...
3cb014b3 04/10/2014 03:18 pm Klaus Aehlig

Verify: liftM extRepr . readJSON . showJSON = Ok . extRepr

In other words, verify that for LockWaiting, the JSON encoding
can be decoded correctly up to observable indistinguishability.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>
2fb7557f 04/10/2014 03:18 pm Klaus Aehlig

Verify readJSON . showJSON = Ok for LockRequest

Verify that the JSON encoding of a LockRequest can correctly
be decoded.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>
f8d6da22 04/10/2014 03:18 pm Klaus Aehlig

Verify extRepr-equal states are equal on updateLocksWaiting

Add a test that verifies that extRepr-equal states cannot be
distinguished by updateLocksWaiting-transitions. To obtain
extRepr-equal states, we compare each state to the one computed
from its extensional representation....
0d3308c2 04/10/2014 03:18 pm Klaus Aehlig

Verify that extRepr-equal states behave equal on updateLocks

Add a test that verifies that extRepr-equal states cannot be
distinguished by updateLocks-transitions. To obtain extRepr-equal
states, we compare each state to the one computed from its
extensional representation....
1c362c1a 04/10/2014 03:18 pm Klaus Aehlig

Verify decoding from extensional representation is sound

Verify that, on the image of extRepr, it holds extRepr . fromExtrRepr = id.
In other words, verify that when obtain a lock waiting from an extensional
representation, it has the same extensional representation....
cb39314f 04/10/2014 03:18 pm Klaus Aehlig

Verify that all pending requests are justified

If a request is pending in a lock waiting structure, it has to fulfill
two properties:
- It must be a valid request, not violating any lock order requirements, and
- it must not be possible to fulfill it immediately....
e247c590 04/10/2014 03:18 pm Klaus Aehlig

Verify soundness of notifications

Verify that, if a lock owner gets notified, he
- had a pending request, and
- the request is fulfilled now.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>
f21ff016 04/10/2014 03:18 pm Klaus Aehlig

Strengthen progress property in lock waiting

Not only verify that after the blockers for one pending request
have gone, some request was honored, but also verify that it was
not a request by one of the blockers.

Signed-off-by: Klaus Aehlig <>...

View revisions

Also available in: Atom