Skip to content

[TS PBT] Project properties and search violations with USVM - #387

Open
CaelmBleidd wants to merge 2 commits into
caelmbleidd/issue-384-property-contractfrom
caelmbleidd/issues-351-352-usvm-property-search
Open

[TS PBT] Project properties and search violations with USVM#387
CaelmBleidd wants to merge 2 commits into
caelmbleidd/issue-384-property-contractfrom
caelmbleidd/issues-351-352-usvm-property-search

[TS PBT] Simplify USVM property execution flow

2d9b65a
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / detekt succeeded Sep 8, 2026 in 4s

No new alerts in code changed by this pull request

View all branch alerts.