| 624 | } |
| 625 | |
| 626 | bool Program::getDebugger() const { |
| 627 | return policies.debugger || options.getBoolOption("debugger",false); |
| 628 | } |
| 629 | |
| 630 | bool Program::getProfiler() const { |
| 631 | return policies.profiler || options.getBoolOption("profiler",false); |
no test coverage detected