Support for stubbing out foreign functions#2658
Merged
feliperodri merged 7 commits intomodel-checking:mainfrom feliperodri:extern-c-stubbingAug 8, 2023
+136-13
Commits
Commits on Aug 8, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
