Skip to content

cbmc preprocessing: call set_language_options after checking for null#8149

Merged
kroening merged 1 commit intodevelopfrom
set_language_options
Dec 30, 2023

Commits

Commits on Dec 30, 2023