Code

Generalise dominators template#367

Code

Closed

peterschrammel wants to merge 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:generalise-dominatorspeterschrammel/cbmc:generalise-dominatorsCopy head branch name to clipboard

Commits

Commits on Dec 20, 2016

• Generalise dominators template

  Show description for 71bc31c
  

  smowton

  authored and

  peterschrammel

  committed
  71bc31c

  Copy full SHA for 71bc31c