Approximate equivalence checking #1649
Annotations
1 error and 3 warnings
|
Run cpp-linter
Process completed with exit code 1.
|
|
Run cpp-linter:
include/checker/EquivalenceChecker.hpp#L29
no header providing "std::unique_ptr" is directly included
|
|
Run cpp-linter:
src/checker/dd/DDHybridSchrodingerFeynmanChecker.cpp#L95
no header providing "std::clog" is directly included
|
|
Run cpp-linter:
src/checker/dd/DDHybridSchrodingerFeynmanChecker.cpp#L250
no header providing "ec::EquivalenceChecker" is directly included
|
Loading