We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
BaseEnv ==== * logFunc * database
DiffEnv extends BaseEnv ==== * diffParameters * useGCC * gccParameters
StrategyEnv extends DiffEnv === * translationUnit
Unrelated:
VerifierEnv === * logger * timeLimit