Have isExpressionFresh consider arguments when computing freshness of a function call#1505

Merged

mario-bucev merged 1 commit intoepfl-lara:mainfrom mario-bucev:freshexprfn

Apr 12, 2024

+20-2

Commits on Apr 12, 2024

Have isExpressionFresh consider arguments when computing freshness of a function call
mario-bucev
committed