Skip to content

Mark CBMC version 5.36.0 in config.inc#6274

Merged
thomasspriggs merged 1 commit intodiffblue:developfrom
thomasspriggs:tas/release_5_36_0
Aug 5, 2021

Commits

Commits on Aug 5, 2021