[Webkit-unassigned] [Bug 277938] New: Introducing CONJECTURE_ASSERT.

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=277938

            Bug ID: 277938
           Summary: Introducing CONJECTURE_ASSERT.
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: JavaScriptCore
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: mark.lam at apple.com

CONJECTURE_ASSERT is only used to facilitate on-going analysis work to test conjectures about the code. We want to be able to land these in the code base for some time to enable extended testing.

If the conjecture is proven false it, the CONJECTURE_ASSERT should either be removed or updated to test a new conjecture.
If the conjecture is proven true, the CONJECTURE_ASSERT should either be promoted to an ASSERT or RELEASE_ASSERT as appropriate, or removed if deemed of low value.

The number of CONJECTURE_ASSERTs should not be growing unboundedly, and they should not stay in the code base perpetually.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20240812/4238b198/attachment.htm>