Add capability to export goto-program in symex-ready-goto form to CBMC.#7697

Merged

esteffin merged 4 commits intodiffblue:developfrom

NlightNFotis:extract_core_goto

May 22, 2023

Commits on May 22, 2023

Renamed core-goto to symex-ready-goto
Enrico Steffinlongo
committed
Add capability to export symex-ready-goto programs

NlightNFotis
authored and
Enrico Steffinlongo
committed
Add man description for --export-symex-ready-goto

NlightNFotis
authored and
Enrico Steffinlongo
committed
Add regression tests for --export-symex-ready-goto

Enrico Steffinlongo
authored and
NlightNFotis
committed