fix: boolean operators on boolean operands

seahorn / crab

A library for building abstract interpretation-based analyses

Apache License 2.0

233 stars 32 forks source link

fix: boolean operators on boolean operands #53

Closed priyasiddharth closed 2 years ago

priyasiddharth commented 2 years ago

Also innocuous clang format changes

priyasiddharth commented 2 years ago

@jorgenavas can you PTAL? I found these through compiler warnings.

caballa commented 2 years ago

Can you pinpoint the warning fixes? I cannot tell with clang-format. I want to double check because most of the warning fixes are in the dev branch which I'm planning to merge with master today or tomorrow.

caballa commented 2 years ago

Done in commit e4841ed