mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
c7d13fd176
In the previous implementation of Model.verify an llvm::Error was returned. Some call sites retained the logic associated with it. Fix these with the correct logic. Also fix an instance of `verify` that was missing an assert.