Skip to content

t27o: integer ! is a bitwise ~, the oracle spec uses type_text, the harness drops no_std (Closes #10534) - #10611

Merged
gHashTag merged 5 commits into
masterfrom
t27o/check-defects-10534
Oct 18, 2026
Merged

t27o: integer ! is a bitwise ~, the oracle spec uses type_text, the harness drops no_std (Closes #10534)#10611
gHashTag merged 5 commits into
masterfrom
t27o/check-defects-10534

t27o: the ~(x) pin test runs through calls, so t27c counts its assert…

cbb551d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar