Print evaluator type and values of free variable of assertion failure predicate#1084

Open

vkuncak wants to merge 3 commits intoepfl-lara:scala-2from vkuncak:eval-reporting

+42-10

Commits on May 29, 2021

Print evaluator type and values of free variable of assertion failure predicate
vkuncak
committed
Display require failure with a similar binding
vkuncak
committed

Commits on May 30, 2021

Use asString on id and pred instead of toString
vkuncak
committed