Skip to content

Initialize function pointers

🤖 SoSy-Bot 🤖 requested to merge github/fork/mdangl/master into master

Created by: mdangl

As promised in the discussions of #432 and #396, I propose a fix for the issue of the dereferenced uninitialized variables found by @tautschnig in #396. @AndrianovPavel please review and comment if this preserves the intention of the task or what other steps would need to be taken to fix the task.

Merge request reports