Environments

Jump to bottom

chkl edited this page Apr 11, 2018 · 3 revisions

BaseEnv
====
* logFunc
* database

DiffEnv extends BaseEnv
====
* diffParameters
* useGCC
* gccParameters

StrategyEnv  extends DiffEnv
===
* translationUnit

Unrelated:

VerifierEnv
===
* logger
* timeLimit