mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Kacper Kołodziej
4b76bbbac8
This test case relies on simple program that calls function from dynamically linked library (puts function). Function from Procedure Linkage Table is a wrapper for this call and puts prototype (recognized from debug symbols) should be propagated to `puts@plt` function. Verification relies on `revng model compare`. Fetching prototypes requires internet connection. Adding puts prototype to test case's model makes it independent of the Internet connection.