document/embbed-rust
2
0
Fork 0
mirror of https://github.com/nkbai/book.git synced 2026-09-05 14:04:53 +08:00
Code Issues Packages Projects Releases Wiki Activity

No newline at end of file?

Browse Source
This commit is contained in:
Nathan
2018-11-06 20:09:28 -08:00
parent 65da0fcb5c
commit aea542b019
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/static-guarantees/state-machines.md
View File

@@ -95,4 +95,4 @@ However, this could allow us to modify certain registers that do not make sense.
This would allow us to reach states not defined by our state machine above: An output that is pulled low, or an input that was set high!
Although this interface is convenient to write, it doesn't enforce the design contracts set out by our hardware implementation.
Although this interface is convenient to write, it doesn't enforce the design contracts set out by our hardware implementation.