Closed aarograh closed 3 years ago
There is an argument for making these all ASSERT_EQ.
ASSERT_EQ
_Originally posted by @HendersonSC in https://github.com/CASL/Futility/pull/311#discussion_r588355883_
There is an argument for making these all
ASSERT_EQ
._Originally posted by @HendersonSC in https://github.com/CASL/Futility/pull/311#discussion_r588355883_