Retrieve info for recursion tracker reliably - #3045

Merged

feliperodri merged 11 commits into

model-checking:mainfrom

feliperodri:fix-issue-3035

Mar 2, 2024

Commits on Feb 29, 2024

Retrieve info for recursion tracker reliably
feliperodri
committed
d5479c0
Use find instead of filter_map
feliperodri
committed
5dd1253
Update the search for REENTRY and add documentation
feliperodri
committed
569208a

Commits on Mar 1, 2024

Add a comment to clarify not using mangled_name
feliperodri
committed
e2f75fc
Add a test with generics and infinity recursion
feliperodri
committed
96ddb5a
New line
feliperodri
committed
4cabf21
Merge branch 'main' into fix-issue-3035
feliperodri
authored
7dff4b4
Move format outside of the loop
feliperodri
committed
e3b2c35
Add header to test case
feliperodri
committed
84674d3
Add extra comment about --nondet-static-exclude isssue
feliperodri
committed
ba5d4c1
Merge branch 'main' into fix-issue-3035
feliperodri
authored
cfe204d