prusti-dev icon indicating copy to clipboard operation
prusti-dev copied to clipboard
verified publisher icon viperproject

Try disabling function unfolding triggers.

Open vakaras opened this issue 3 years ago • 2 comments

Enable --disableFunctionUnfoldTrigger.

vakaras avatar Nov 06 '22 09:11 vakaras

@prusti-timer

vakaras avatar Nov 07 '22 14:11 vakaras

@zgrannan how can I benchmark the performance of this PR?

vakaras avatar Nov 07 '22 14:11 vakaras