search

epfl-lara / inox

Solver for higher-order functional programs, used by Stainless
Apache License 2.0
88 stars 20 forks source link

Fix remaining 3.5 warnings in inox tests #219

Closed samuelchassot closed 3 months ago