diff options
| author | Marco Elver <elver@google.com> | 2021-09-10 12:11:10 +0200 |
|---|---|---|
| committer | Marco Elver <me@marcoelver.com> | 2021-09-10 22:59:49 +0200 |
| commit | 3ce60af85b4644bd7f2d2ef01a7d2b9a41545b76 (patch) | |
| tree | c097b066bc565a4fe144c77bb4562a4dbed171e0 /executor/common_kvm_arm64.h | |
| parent | 0767f1d406822ccf2719511f952707f2d1be9ef8 (diff) | |
docs/syz_verifier: update and reword introduction
Update the introduction of syz-verifier to better define the problem it
is attempting to solve: "semantic bugs" is the correct terminology for
the type of bugs that syz-verifier attempts to find.
Reflow the rest of the document to make it readable in plain-text.
Co-developed-by: @maramihali
Diffstat (limited to 'executor/common_kvm_arm64.h')
0 files changed, 0 insertions, 0 deletions