Traverse nested functions similarly to top level functions

epfl-lara / leon

The Leon system for verification, synthesis, repair

Other

161 stars 49 forks source link

Closed mantognini closed 7 years ago

mantognini commented 7 years ago

This ensures Operator is not used on LetDef and therefore that such FunDefs are visited completely, not just their "inlined" bodies.