Closed burgholzer closed 1 month ago
Attention: Patch coverage is 94.11765%
with 4 lines
in your changes missing coverage. Please review.
Project coverage is 95.3%. Comparing base (
c634603
) to head (dc4841b
). Report is 1 commits behind head on main.
Files | Patch % | Lines |
---|---|---|
src/checker/dd/simulation/StateGenerator.cpp | 94.1% | 4 Missing :warning: |
Description
A follow-up to #444 that fixes a particular linking issue and furthermore improves the overall library link time dependencies by removing the template code from the
StateGenerator
and moving the code to the.cpp
file.Checklist: