Code

get_language options to language API#480

Code

Merged

peterschrammel merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

mgudemann:language_get_cli_optionsmgudemann/cbmc:language_get_cli_optionsCopy head branch name to clipboard

Jan 30, 2017

Commits

Commits on Jan 29, 2017

• get_language options to language API

  Show description for eb49a3f
  mgudemann

  committed
  eb49a3f

  Copy full SHA for eb49a3f