search

SSoelvsten / bdd-benchmark

Benchmarking Suite for BDD packages
MIT License
11 stars 2 forks source link

Rearrange includes to make all files type-check on their own #103

Closed nhusung closed 9 months ago

nhusung commented 9 months ago

During development, it is desirable that a language server (such as clangd) can type-check each file on its own. This also makes it easier to debug compile-time errors and enables the jump-to-definition feature.

Regarding the following line in src/cal/adapter.h:

#include <sstream> // missing in `calObj.hh`

sstream is included by calObj.hh as of the latest commit in the CAL repo, but not in the version we currently use here.

SSoelvsten commented 9 months ago

Thanks! I took this as the motivating opportunity to properly clean up these files. I'll get the cal/update branch rebased and merged to fix the sstream issue.