| 90 | } |
| 91 | |
| 92 | not_enough_to_buffer::not_enough_to_buffer(const string& type, const string& filename) : |
| 93 | runtime_error( |
| 94 | "Not enough data available for buffer" |
| 95 | + (filename.empty() ? "" : (" in " + filename)) + ". " |
| 96 | "Maybe insufficient preprocessing" + type |
| 97 | + ".\nFor benchmarking, you can activate reusing data by " |
| 98 | "adding -DINSECURE to the compiler options.") |
| 99 | { |
| 100 | } |
| 101 | |
| 102 | gf2n_not_supported::gf2n_not_supported(int n, string options) : |
| 103 | runtime_error( |