From 8f6762f742ed48d7d8400f2d1b4bf4774d7b0fd1 Mon Sep 17 00:00:00 2001 From: Jordan Wiens Date: Sat, 14 Mar 2026 12:43:11 -0400 Subject: fix missing newline in docs --- docs/dev/archplatform-lifting.md | 1 + 1 file changed, 1 insertion(+) (limited to 'docs/dev') diff --git a/docs/dev/archplatform-lifting.md b/docs/dev/archplatform-lifting.md index 316270d0..62af2339 100644 --- a/docs/dev/archplatform-lifting.md +++ b/docs/dev/archplatform-lifting.md @@ -541,6 +541,7 @@ Next, we specify which conditions are used for each combination of Semantic Flag ``` This is effectively telling Binary Ninja: + 1. When you see a `cc0` Semantic Flag Group test 2. Look at the relevant flag(s) 1. `cc0` is the only flag that group reads, as defined in `flags_required_for_semantic_flag_group` -- cgit v1.3.1