search

ufmg-smite / lean-smt

Tactics for discharging Lean goals into SMT solvers.
Apache License 2.0
89 stars 18 forks source link

chore: update tests #16

Closed Vtec234 closed 2 years ago

Vtec234 commented 2 years ago

It looks like warnings are now printed at the declaration name.

Vtec234 commented 2 years ago

Oh just realised you'd already fixed this in #15 @abdoo8080 . Feel free to close this and use those changes intead.