Skip to content

CompactHardTruth improvements

This MR:

  • Improves the coding style in the CompactHardTruth following suggestion in !40157 (merged)

Should be merged after !40157 (merged)

Edited by Andrii Verbytskyi

Merge request reports