pub fn cond_search_thread(cfg: Cfg, ctx: Context) -> JoinHandle<Expression>Expand description
Enables a condition search thread by modifying the configuration and initiating a new asynchronous synthesis search. This function activates condition search mode by setting the corresponding flag in the configuration, then delegates thread creation to a helper that starts the synthesis process, ultimately returning a join handle for the resulting expression.