Skip to content

net-slip: allocate objects in main

🤖 SoSy-Bot 🤖 requested to merge github/fork/tautschnig/init-var_group-9 into master

Created by: tautschnig

CBMC produced a counterexample as an uninitialised pointer was being passed to memcpy. The fix now stack-allocates several objects in main rather than merely declaring pointers.

Merge request reports