tree 196b8cd13874ebc6a99924b7cb86eba6cf02e36d
parent a3d6b8cb884fce2fe34258e9d582b11ea9545fd9
author Ian Rogers <irogers@google.com> 1374617560 -0700
committer Ian Rogers <irogers@google.com> 1374617560 -0700

Tidy ws and document verifier instruction flags.

Change-Id: I6c58a76f3373b17fc001480c4db069fc942fce3a