timeouts not working in cvc5 and lean smt

Stream: general

[Frederick Pu]

Has anyone had issues with teh cvc5 ffi not respecting the timeouts given to it.

[Frederick Pu]

I have a command caching system in the following file https://github.com/project-numina/LeanEuclid/blob/to415NoReconstruct/SystemE/Tactic/ESmt.lean. But i seems that for harder queries the solving time will often exceed the default 5 seconds (5000 milliseconds). See the dbg_trace statements for how to profile the solving time