Update README.md

nuprl · Nov 7, 2023 · 307826e · 307826e
1 parent b8ab205
commit 307826e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/tests-unit/README.md b/tests-unit/README.md
@@ -80,6 +80,11 @@ and `TaintType` is of the form:
 | "functionReturn" | "literal" | "declaration";
 ```
 
+and `TrackingType` is of the form:
+```typescript
+"Boolean" | "SourcedBoolean" | "Expression"
+```
+
 ## `output-expected`
 
 For each unit test in `tests-unit/input` named `test`, there should be a