Alan-Jowett / dagir / 19641740299

push

github

Add expression backend for BDDs + unit tests (#52)

* Add expression renderer unit tests and wire expression backend

* Add SPDX header to render_expr.hpp

* Use std::transform for root expressions in render_expr.hpp

* PR feedback

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* PR feedback

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* tests: remove temporary debug instrumentation and unused variable in regression equivalence test

* cmake: skip Teddy-dependent tests on macOS (TeDDy incompatible with system Clang)

* Fix tests

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>

* tests: assert parsedB != nullptr after render_expr parse; remove unused casts

---------

Signed-off-by: Alan Jowett <alan.jowett@microsoft.com>
Co-authored-by: Alan Jowett <alan.jowett@microsoft.com>

1842 of 2506 branches covered (73.5%)

Branch coverage included in aggregate %.

257 of 262 new or added lines in 5 files covered. (98.09%)

1505 of 1697 relevant lines covered (88.69%)

6004258.64 hits per line