diff options
| author | Den Delimarsky <[email protected]> | 2019-07-15 11:54:00 -0700 |
|---|---|---|
| committer | Den Delimarsky <[email protected]> | 2019-07-15 11:54:00 -0700 |
| commit | 1aa39e393c0657d7dfd5110727f3b92d20fc3187 (patch) | |
| tree | 4b9c82e688a866d016f078a01a9f7fe743b92f54 /tools/dv | |
| parent | ad599508acbb5ba1dd633af484a727f04bfddfd7 (diff) | |
Update heading667286672766726667256672466723667226672166720667196671866717667166671566714667136671266711667106670966707667066670566704667036670266701667006669966698666976669666695666946669366692666916669066689666876668666685666846668366682666816668066679666786667766676666756667466673666726667166670666696666866667666666666566664666636666266661666606665966658666576665666655666546665366652666516665066649666486664766646666446664366642666416664066639666386663766636666356663466633666326663166630
Diffstat (limited to 'tools/dv')
| -rw-r--r-- | tools/dv/samples/DV-FailDriver-WDM/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/dv/samples/DV-FailDriver-WDM/README.md b/tools/dv/samples/DV-FailDriver-WDM/README.md index fa6cd66f..1e2021a5 100644 --- a/tools/dv/samples/DV-FailDriver-WDM/README.md +++ b/tools/dv/samples/DV-FailDriver-WDM/README.md @@ -1,5 +1,5 @@ --- -topic: sample +page_type: sample description: "Demonstrates how Driver Verifier (DV) can find errors in a WDM driver." languages: - cpp |