-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Pragma keyword fuzz tests draw their random char via charFromMask on complement masks, so every run tests exactly NUL
adversarialFound by adversarial testingFound by adversarial testingauditAudit findingAudit findingStatus: Open.#567 In rainlanguage/rainlang;Sub-parseable literal scans complement uint128 masks: high bytes halt the scan, contradicting the UTF-8 comment, and the semantics silently flip when rain.string widens to uint256
adversarialFound by adversarial testingFound by adversarial testingauditAudit findingAudit findingStatus: Open.#566 In rainlanguage/rainlang;RHS literal branch has no yang guard: adjacent literals parse without whitespace between them
adversarialFound by adversarial testingFound by adversarial testingauditAudit findingAudit findingStatus: Open.#565 In rainlanguage/rainlang;- Status: Open.#561 In rainlanguage/rainlang;
- Status: Open.#555 In rainlanguage/rainlang;
- Status: Open.#553 In rainlanguage/rainlang;
- Status: Open.#552 In rainlanguage/rainlang;
- Status: Open.#550 In rainlanguage/rainlang;
- Status: Open.#545 In rainlanguage/rainlang;
- Status: Open.#542 In rainlanguage/rainlang;
- Status: Open.#541 In rainlanguage/rainlang;
- Status: Open.#519 In rainlanguage/rainlang;