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/sdv | |
| parent | ad599508acbb5ba1dd633af484a727f04bfddfd7 (diff) | |
Update heading667286672766726667256672466723667226672166720667196671866717667166671566714667136671266711667106670966707667066670566704667036670266701667006669966698666976669666695666946669366692666916669066689666876668666685666846668366682666816668066679666786667766676666756667466673666726667166670666696666866667666666666566664666636666266661666606665966658666576665666655666546665366652666516665066649666486664766646666446664366642666416664066639666386663766636666356663466633666326663166630
Diffstat (limited to 'tools/sdv')
4 files changed, 4 insertions, 4 deletions
diff --git a/tools/sdv/samples/SDV-FailDriver-KMDF/README.md b/tools/sdv/samples/SDV-FailDriver-KMDF/README.md index c13c3fd2..4a18341b 100644 --- a/tools/sdv/samples/SDV-FailDriver-KMDF/README.md +++ b/tools/sdv/samples/SDV-FailDriver-KMDF/README.md @@ -1,5 +1,5 @@ --- -topic: sample +page_type: sample description: "Demonstrates how Static Driver Verifier (SDV) can find errors in a KMDF driver." languages: - cpp diff --git a/tools/sdv/samples/SDV-FailDriver-NDIS/README.md b/tools/sdv/samples/SDV-FailDriver-NDIS/README.md index cfaceb07..dd9e4da4 100644 --- a/tools/sdv/samples/SDV-FailDriver-NDIS/README.md +++ b/tools/sdv/samples/SDV-FailDriver-NDIS/README.md @@ -1,5 +1,5 @@ --- -topic: sample +page_type: sample description: "Demonstrates how Static Driver Verifier (SDV) can find errors in a NDIS driver." languages: - cpp diff --git a/tools/sdv/samples/SDV-FailDriver-STORPORT/README.md b/tools/sdv/samples/SDV-FailDriver-STORPORT/README.md index 1982ff77..71106508 100644 --- a/tools/sdv/samples/SDV-FailDriver-STORPORT/README.md +++ b/tools/sdv/samples/SDV-FailDriver-STORPORT/README.md @@ -1,5 +1,5 @@ --- -topic: sample +page_type: sample description: "Demonstrates how Static Driver Verifier (SDV) can find errors in a Storport driver." languages: - cpp diff --git a/tools/sdv/samples/SDV-FailDriver-WDM/README.md b/tools/sdv/samples/SDV-FailDriver-WDM/README.md index 84bae1b2..6ce7b456 100644 --- a/tools/sdv/samples/SDV-FailDriver-WDM/README.md +++ b/tools/sdv/samples/SDV-FailDriver-WDM/README.md @@ -1,5 +1,5 @@ --- -topic: sample +page_type: sample description: "Demonstrates how Static Driver Verifier (SDV) can find errors in a WDM driver." languages: - cpp |