2 Commits

Author	SHA1	Message	Date
yoff	9b4de2bfb6	Python: add tests for short-circuiting comparisons ... - Both the old and new CFG model this incorrectly right now. - Added ConsecutivePredecessorTimestamps.ql for the old CFG for symmetry.	2026-07-27 17:52:24 +02:00
Taus	f5c3b63a4a	Python: Add ConsecutiveTimestamps test ... This one is potentially a bit iffy -- it checks for a very powerful property (that implies many of the other queries), but as the test results show, it can produce false positives when there is in fact no problem. We may want to get rid of it entirely, if it becomes too noisy.	2026-05-12 12:54:26 +00:00