mirror of
https://github.com/nasa/trick.git
synced 2025-02-26 02:58:11 +00:00
Added USER_ADDITIONAL_OPTIONS for user to provide additional options to build trickified lib. Updated SIM_trickified_shared to use this option to pass in code coverage options to satisfy trick code coverage ci.