Code

Do not instrument built-ins#292

Code

Merged

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:do-not-instrument-built-inspeterschrammel/cbmc:do-not-instrument-built-insCopy head branch name to clipboard

May 12, 2017

Commits

Commits on Apr 8, 2017

• Regression tests for not instrumenting built-ins

  peterschrammel

  committed
  c393197

  Copy full SHA for c393197

• Ignore built-in functions and instructions inlined from built-ins during cover instrumentation

  Show description for 12d6582
  peterschrammel

  committed
  12d6582

  Copy full SHA for 12d6582