Code

Fix check on negated alternatives#372

Code

Closed

marvinvo wants to merge 2 commits intodevelopCROSSINGTUD/CryptoAnalysis:developfrom fix_alternative_pred_checkCROSSINGTUD/CryptoAnalysis:fix_alternative_pred_checkCopy head branch name to clipboard

+97-3

Commits

Commits on Feb 23, 2022

• Fix check on negative alternatives

  Show description for 776ff6f
  marvinvo

  committed
  776ff6f

  Copy full SHA for 776ff6f

Commits on Mar 2, 2022

• Added minimal test for alternative negated preds

  Show description for b200a5d
  marvinvo

  committed
  b200a5d

  Copy full SHA for b200a5d