Skip to content

test: cover CtPackage.setShadow #1818 - #6888

Merged
monperrus merged 1 commit into
INRIA:masterfrom
AzazelSensei:test-1818-ctpackage-setshadow
Sep 6, 2026
Merged

test: cover CtPackage.setShadow #1818#6888
monperrus merged 1 commit into
INRIA:masterfrom
AzazelSensei:test-1818-ctpackage-setshadow

Conversation

@AzazelSensei

Copy link
Copy Markdown
Contributor

CtPackage.setShadow was on the Descartes pseudo-tested list. I added a test that stores the shadow flag and checks isShadow, so emptying the method body fails.

#1818

Add a test so emptying setShadow on a package fails.

INRIA#1818
@monperrus
monperrus merged commit cd5f2de into INRIA:master Sep 6, 2026
14 checks passed
@monperrus

Copy link
Copy Markdown
Collaborator

thanks @AzazelSensei

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants