Code

avoid direct access to exprt::opX()#3972

Code

Merged

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

opX-cleanupdiffblue/cbmc:opX-cleanupCopy head branch name to clipboard

Jan 28, 2019

Commits

Commits on Jan 28, 2019

• avoid direct access to exprt::opX()

  Show description for d066e88
  

  Daniel Kroening

  committed
  d066e88

  Copy full SHA for d066e88