| 10 | |
| 11 | |
| 12 | std::string get_next_command() { |
| 13 | #ifdef READLINE_AVAILABLE |
| 14 | char *input_raw; |
| 15 | input_raw = readline("eval> "); |
| 16 | add_history(input_raw); |
| 17 | return std::string(input_raw); |
| 18 | #else |
| 19 | std::string retval; |
| 20 | std::cout << "eval> "; |
| 21 | std::getline(std::cin, retval); |
| 22 | return retval; |
| 23 | #endif |
| 24 | } |
| 25 | |
| 26 | void function(void) |
| 27 | { |
no test coverage detected