♻️ Refactor EquivalenceCheckingManager and 📝✨ Revamp Documentation #1854
Annotations
1 error and 5 warnings
|
Fail if linter found errors
Process completed with exit code 1.
|
|
Run cpp-linter:
test/test_compilationflow.cpp#L169
variable 'ofs' of type 'std::ofstream' (aka 'basic_ofstream<char>') can be declared 'const'
|
|
Run cpp-linter:
test/test_compilationflow.cpp#L187
variable 'config' of type 'Configuration' can be declared 'const'
|
|
Run cpp-linter:
test/test_compilationflow.cpp#L190
variable 'ecm' of type 'EquivalenceCheckingManager' can be declared 'const'
|
|
Run cpp-linter:
test/test_equality.cpp#L182
variable 'ecm' of type 'ec::EquivalenceCheckingManager' can be declared 'const'
|
|
Run cpp-linter:
test/test_equality.cpp#L218
variable 'ecm' of type 'ec::EquivalenceCheckingManager' can be declared 'const'
|
Loading