Adds code contracts regression tests that involve function calls#5911

Merged

feliperodri merged 6 commits intodiffblue:developfrom

ArenBabikian:contracts-recursion-reg-tests

Mar 18, 2021

Commits on Mar 10, 2021

Adds regression tests that involve non-recursive function calls
Aren Babikian
committed
Fixes PR number
Aren Babikian
committed
Adds regression tests that involve recursive function calls
Aren Babikian
committed
Adds regression tests that involve alternate recursive function calls
Aren Babikian
committed

Commits on Mar 11, 2021

Applies clang-format to the addedfiles
Aren Babikian
committed
Assesses PR comments and adds handling for loop unwinding
Aren Babikian
committed