================
@@ -382,3 +382,20 @@ accessed:
}
}
}
+
+Reasoning about integers
+------------------------
+
+Because it uses a simple SAT solver, the checker cannot reason about integers
----------------
EugeneZelenko wrote:
```suggestion
Because it uses a simple SAT solver, the check cannot reason about integers
```
https://github.com/llvm/llvm-project/pull/179592
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
