Returns the name of variable for spec with given depth.
(depth)
| 130 | |
| 131 | |
| 132 | def get_spec_var(depth): |
| 133 | """Returns the name of variable for spec with given depth.""" |
| 134 | return "s" if depth == 0 else "s{}".format(depth) |
| 135 | |
| 136 | |
| 137 | def get_spec_name(label): |
no test coverage detected