Code

"Implies" matcher#295

Code

Open

xtreme-james-cooper wants to merge 2 commits intocedarbdd:mastercedarbdd/cedar:masterfrom xtreme-james-cooper:impliesCopy head branch name to clipboard

+290

Commits

Commits on Oct 31, 2014

• James C - added an implies matcher (not an implies matcher-combinator yet)

  

  James Cooper

  committed
  ec37ef8

  Copy full SHA for ec37ef8

• James C - fixed tests for Travis

  

  James Cooper

  committed
  b3bcfab

  Copy full SHA for b3bcfab