Add /warnVacuousProofs option
#450
atombAnnotations
3 errors
|
LeanAuto CI
Process completed with exit code 1.
|
|
LeanAuto CI:
Source/ExecutionEngine/ExecutionEngine.cs#L656
The type or namespace name 'CoverageAnnotator' could not be found (are you missing a using directive or an assembly reference?)
|
|
LeanAuto CI:
Source/ExecutionEngine/ExecutionEngine.cs#L656
The type or namespace name 'CoverageAnnotator' could not be found (are you missing a using directive or an assembly reference?)
|