diff options
Diffstat (limited to 'debug/risc-v-gsp-rm-vm/harness/value_demos/__init__.py')
| -rw-r--r-- | debug/risc-v-gsp-rm-vm/harness/value_demos/__init__.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debug/risc-v-gsp-rm-vm/harness/value_demos/__init__.py b/debug/risc-v-gsp-rm-vm/harness/value_demos/__init__.py new file mode 100644 index 0000000..87cabe7 --- /dev/null +++ b/debug/risc-v-gsp-rm-vm/harness/value_demos/__init__.py @@ -0,0 +1 @@ +"""green-eye value-validation demos (see docs/25-VALUE-VALIDATION.md).""" |