| 1153 | } |
| 1154 | |
| 1155 | void EvalState::resetFileCache() |
| 1156 | { |
| 1157 | importResolutionCache->clear(); |
| 1158 | fileEvalCache->clear(); |
| 1159 | inputCache->clear(); |
| 1160 | positions.clear(); |
| 1161 | } |
| 1162 | |
| 1163 | void EvalState::eval(Expr * e, Value & v) |
| 1164 | { |
no test coverage detected