ESBMC 7.3.0 crashes ERROR: function call: argument type mismatch: got pointer, expected struct
good first issue
#1339
opened Sep 13, 2023 by
tihanyin
5