schema=symcc-f389-evidence-v1
feature=F389
capability=bounded-multiarm-cyclic-byte-lane-writer-graph
multiarm_llvm18_graphs=1
multiarm_llvm18_endpoints=2
multiarm_llvm18_transfers=1
multiarm_llvm18_arms=3
multiarm_llvm18_store_arms=2
multiarm_llvm18_carry_arms=1
multiarm_llvm18_graph_store_ids=3
multiarm_llvm18_bound_poison_stores=2
multiarm_llvm17_graphs=1
forwarded_llvm18_graphs=1
targeted_python_passed=5
writer_graph_python_passed=25
related_live_python_passed=84
related_live_python_subtests_passed=51
full_python_passed=913
full_python_subtests_passed=229
full_lit_discovered=247
full_lit_passed=246
full_lit_unsupported=1
controlled_parallelism=32
max_writer_path_blocks=64
forwarded_corridor_blocks=16
path_predecessor_limit=1
leaf_boundaries=root:root_branch,inner_true:inner_branch,inner_false:inner_branch
recursive_writer_graph=false
general_memoryssa=false
benchmark_claim=false