Please print the z3rlimit on error 19

FStarLang / FStar

A Proof-oriented Programming Language

https://fstar-lang.org

Apache License 2.0

2.7k stars 234 forks source link

Please print the z3rlimit on error 19 #3429

Closed briangmilnes closed 2 months ago

briangmilnes commented 2 months ago

F* 2024.08.14~dev when I'm trying to write some stringy simple code I get error 19. It shows the fuel and the ifuel but not the z3rlimit and the z3rlimit-factor.