Code Climate
Product
Browser Extension
Features
Pricing
Developers
Sign up
Login
Verites/verigraph
View on GitHub
Star
Overview
Progress
Issues
Code
Filters
Trends
Last
master
build
See recent builds
11 days ago
Refresh default branch
Refresh
src/library/Rewriting/DPO/TypedGraphRule.hs
Summary
Maintainability
Test Coverage
Issues
Source
Stats
TODO found
Open
-- TODO: document why minimal safety NACs exist
Severity: Minor
Found in
src/library/Rewriting/DPO/TypedGraphRule.hs
by
fixme
Create a ticket
Create a ticket
Exclude checks
Disable engine
Disable check
Close
There are no issues that match your filters.
Clear all filters
Category
Bug Risk
Status
Open
Confirmed
Invalid
Wontfix