🐛 update actor data_properties in demo config files; close #103

microsoft · Jul 2, 2024 · ada7835 · ada7835
1 parent 6a5860c
commit ada7835
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/demo/detecting-foreshadow.yaml b/demo/detecting-foreshadow.yaml
@@ -27,10 +27,10 @@ instruction_blocklist:
  - IDIV
 
 actor:
- - name: "main"
- - data_properties:
- - present: False
- - writable: False
+ - main:
+  - data_properties:
+  - present: false
+  - writable: false
 
 # misc. fuzzing configuration
 enable_speculation_filter: true

diff --git a/demo/detecting-mds.yaml b/demo/detecting-mds.yaml
@@ -12,9 +12,9 @@ instruction_categories:
 
 # environment
 actor:
- - name: "main"
- - data_properties:
- - accessed: False
+ - main:
+  - data_properties:
+  - accessed: False
 
 # fuzzing configuration
 enable_speculation_filter: true