Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx> --- CodeSamples/formal/data/rcu-test.dat | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/CodeSamples/formal/data/rcu-test.dat b/CodeSamples/formal/data/rcu-test.dat index 4ac33da4..c0ac6fda 100644 --- a/CodeSamples/formal/data/rcu-test.dat +++ b/CodeSamples/formal/data/rcu-test.dat @@ -93,4 +93,6 @@ v6.0 19954 10716 30670 34.9 "" 21087 11457 32544 35.2 v6.4 21444 11748 33192 35.4 "" 21530 11753 33283 35.3 -v6.6 21651 12009 33660 35.7 +"" 21651 12009 33660 35.7 +"" 21957 12064 34021 35.5 +v6.8 22018 12071 34089 35.4 -- 2.34.1