[TS] Preserve callback prefixes when reduce invariants fail - #530

[TS] Preserve callback prefixes when reduce invariants fail#530

CaelmBleidd merged 1 commit into

mainUnitTestBot/usvm:mainfrom

caelmbleidd/stop-rejected-model-invariantsUnitTestBot/usvm:caelmbleidd/stop-rejected-model-invariantsCopy head branch name to clipboard