Commits on Aug 20, 2024

1. jbmc, janalyzer: Remove unnecessary dynamic_cast …

   `lazy_goto_modelt::process_whole_model_and_freeze` returns a unique
   pointer to `goto_modelt`, which these call sites unnecessarily
   generalised to `abstract_goto_modelt` (just to then `dynamic_cast` it to
   `goto_modelt`). Fix the local pointer types and remove the now no longer
   necessary cast.

   

   tautschnig committed Aug 20, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 3fef02a
   • Browse repository at this point

   Copy the full SHA

   3fef02a View commit details

   Browse the repository at this point in the history