Code

Parse bridge flag [TG-4115]#2527

Code

Closed

thk123 wants to merge 2 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:parse-bridge-flagthk123/cbmc:parse-bridge-flagCopy head branch name to clipboard

Commits

Commits on Jul 11, 2018

• Read the bride flag for methods

  Show description for 9103a31
  

  thk123

  committed
  9103a31

  Copy full SHA for 9103a31

• Adding unit test for checking bridge methods attribute is parsed correctly

  

  thk123

  committed
  ac9bc2d

  Copy full SHA for ac9bc2d