Searched refs:wasSetByUserThreadStackSize (Results 1 – 3 of 3) sorted by relevance
293 bool Options::wasSetByUserThreadStackSize() const { in wasSetByUserThreadStackSize() function in CVC4::Options
263 bool wasSetByUserThreadStackSize() const;
111 opts.wasSetByUserThreadStackSize() || in runCvc4()