Equivalence checker: allows for let-binding in tests and output 'expected but got' results#1485

Merged

vkuncak merged 1 commit intoepfl-lara:mainfrom mario-bucev:equivchk-extra

Nov 13, 2023

+275-96

Commits on Nov 13, 2023

Equivalence checker: allows for let-binding in tests and output 'expected but got' results
mario-bucev
committed