You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It looks like this is skipping the test.c files (which contain duplicate mains) without an explicit --skip flag. This behavior is fine for now since the duplicate mains would cause 3c to raise an error, but we will probably want to include them when correctcomputation/checkedc-clang#505 is merged.
The reason these files are not being included now appears to be that they are not built by the default ./configure && make, so Bear doesn't add them to the compilation database. We'd have to figure out the correct arguments to ./configure and/or make to build the files.
The text was updated successfully, but these errors were encountered:
From #13 (review):
The reason these files are not being included now appears to be that they are not built by the default
./configure && make
, so Bear doesn't add them to the compilation database. We'd have to figure out the correct arguments to./configure
and/ormake
to build the files.The text was updated successfully, but these errors were encountered: