Mentions légales du service

Skip to content

New code backend debug

TROTIGNON Emile requested to merge new-code-backend-debug into new-code-backend

Does what the commits say they do, except for cherry pick Fixes long invariant typing, without using long invariant which fixes the annotate typing, and introduces a new printing facility to print only the branches containing a culprit block.

Merge request reports