Code

Update negates mechanism#487

Code

Merged

schlichtig merged 2 commits intomasterCROSSINGTUD/CryptoAnalysis:masterfrom issue_418_419CROSSINGTUD/CryptoAnalysis:issue_418_419Copy head branch name to clipboardNov 27, 2023

+341-123

Commits

Commits on Nov 26, 2023

• Fix issue 421: Consider all method calls, when predicates are checked

  smeyer198

  committed
  b0839e9

  Copy full SHA for b0839e9

Commits on Nov 27, 2023

• Add negates mechanism for directly and indirectly ensured predicates

  smeyer198

  committed
  f8b3b12

  Copy full SHA for f8b3b12