commit | b6511301793c5921e3cc2ce596194ab580bc04d5 | [log] [tgz] |
---|---|---|
author | Paul E. McKenney <paulmck@kernel.org> | Mon Jun 08 17:05:23 2020 -0700 |
committer | Paul E. McKenney <paulmck@kernel.org> | Mon Jun 08 17:05:23 2020 -0700 |
tree | d66ffa9ff7d126aef8c4621ab0145705b0c506b9 | |
parent | 9f055ec64b59b170641a88fa9d78363f055f5a01 [diff] |
formal: Add discussion of RCU's evolving test suite Signed-off-by: Paul E. McKenney <paulmck@kernel.org>