Set the bytecode index for the instrumentation in goto_check.cpp#848

Merged

peterschrammel merged 2 commits intodiffblue:test-gen-supportfrom

cristina-david:bugfix/set-bytecode-index

May 14, 2017

Commits on May 1, 2017

Set the bytecode index for the instrumentation in goto_check.cpp
cristina-david
committed

Commits on May 3, 2017

Added the bytecode index to the expected result of the regression tests
cristina-david
committed