mirror of
https://github.com/nasa/trick.git
synced 2025-02-20 01:06:17 +00:00
* Add new "greedy search" option to toggle multi-threaded variable search * Back down to a single thread * Fixed a typo. --------- Co-authored-by: Hong Chen <hong.chen-1@nasa.gov>