search

sbu-fsl / Metis

Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
Apache License 2.0
7 stars 1 forks source link

reserved identifier violation #18

Open elfring opened 3 days ago

elfring commented 3 days ago

I would like to point out that identifiers like “_ABSTRACT_FS_H” and “_OPERATIONS_H” do not fit to the expected naming convention of the C++ language standard. Would you like to adjust your selection for unique names?

Yifei-Liu commented 2 days ago

Thank you for pointing them out. I will look into them and fix them if necessary.

elfring commented 2 days ago

:thought_balloon: Would you become interested to use a development tool like “clang-tidy” for corresponding source code adjustments?