Code

Fix MatchError in EffectsAnalyzer#1492

Code

Merged

mario-bucev merged 1 commit intoepfl-lara:mainepfl-lara/stainless:mainfrom mario-bucev:fix-effects-analyzer-againmario-bucev/stainless:fix-effects-analyzer-againCopy head branch name to clipboardJan 3, 2024

+36-1

Commits

Commits on Jan 3, 2024

• Fix MatchError in EffectsAnalyzer

  mario-bucev

  committed
  5454219