| 192 | } |
| 193 | |
| 194 | int DepthSpec::dtFunctionInvocationRandomBinary_minimal_depth(int) |
| 195 | { |
| 196 | vector<int> vs; |
| 197 | vs.push_back(dtFunctionInvocationRandomRegularBinary_minimal_depth()); |
| 198 | vs.push_back(dtFunctionInvocationRandomBinaryPointer_minimal_depth()); |
| 199 | return 1 + *min_element(vs.begin(), vs.end()); |
| 200 | } |
| 201 | |
| 202 | int DepthSpec::dtFunctionUserBuildInvocation_minimal_depth(int flag) |
| 203 | { |