mirror of
https://github.com/nasa/trick.git
synced 2024-12-18 20:57:55 +00:00
d34844e76c
* 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> |
||
---|---|---|
.. | ||
src | ||
CMakeLists.txt | ||
Makefile | ||
pom.xml |