Signed-off-by: Akira Yokosawa <[email protected]> --- CodeSamples/formal/data/rcu-test.dat | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/CodeSamples/formal/data/rcu-test.dat b/CodeSamples/formal/data/rcu-test.dat index dc7ac7ec..d63c1bd7 100644 --- a/CodeSamples/formal/data/rcu-test.dat +++ b/CodeSamples/formal/data/rcu-test.dat @@ -102,4 +102,5 @@ v6.8 22018 12071 34089 35.4 v6.12 22834 12313 35147 35.0 "" 22961 12414 35375 35.1 "" 22107 12620 34727 36.3 -v6.15 22300 12758 35058 36.4 +"" 22300 12758 35058 36.4 +v6.16 22370 12983 35353 36.7 base-commit: 7348873f5c9fc45a42a6a6b1463631f212bd2661 -- 2.43.0
