rv: Fix addition on an uninitialized variable 'run'
[linux-block.git] / tools / verification /
drwxr-xr-x   ..
drwxr-xr-x - dot2
drwxr-xr-x - models
drwxr-xr-x - rv