openai / lean-gym
Features of Interest
Aspects in the source code identified through RegEx patterns.
Intro
Features of interest are any aspects of a software system that can be identified through patterns in code.
Features of interest provide you with a way to focus your attention on relevant parts of the codebase.
Typical examples include, security, TODOs, logging.
A feature of interest may be present in multiple files. Any source code file may be in zero or multiple features of interest.
Overview
GENERAL
TODOs
502 LOC (36%)
1 file
|
found text per file
|
found text per file
1 GENERAL Concerns
The "general" group contains
2
concerns.
TODOs
Unclassified
general
1.1 TODOs
502 LOC (36%)
1 file
|
found text per file
|
found text per file
The following criteria are used to filter files:
files with any line of content like "
.*(TODO|FIXME)( |:| ).*
".
1
file matches defined criteria (
502
LOC,
36.3%
vs. main code). All matches are in *.lean files.
1
line matches the content pattern.
details...
per component - primary logical decomposition
src
in 1 file 502 LOC (36%)
