formal: Visualize Linux-kernel RCU test code ratio

A stacked histogram can tell much more than a pair of long
tables do.

Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
5 files changed