Code

JuvixTree negative evaluation tests#2601

Code

Merged

paulcadman merged 1 commit intomainanoma/juvix:mainfrom tree-negative-testsanoma/juvix:tree-negative-testsCopy head branch name to clipboardFeb 1, 2024

+165-3

Commits

Commits on Feb 1, 2024

• negative tests

  

  lukaszcz

  authored and

  paulcadman

  committed
  9199438

  Copy full SHA for 9199438