================
@@ -382,3 +382,20 @@ accessed:
}
}
}
+
+Reasoning about integers
+------------------------
+
+Because it uses a simple SAT solver, the checker cannot reason about integers
----------------
fmayer wrote:done 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
