\brief Main-function * \relates MineSweeper */
| 149 | * \relates MineSweeper |
| 150 | */ |
| 151 | int |
| 152 | main(int argc, char* argv[]) { |
| 153 | SizeOptions opt("MineSweeper"); |
| 154 | opt.size(0); |
| 155 | opt.parse(argc,argv); |
| 156 | if (opt.size() >= n_examples) { |
| 157 | std::cerr << "Error: size must be between 0 and " |
| 158 | << n_examples-1 << std::endl; |
| 159 | return 1; |
| 160 | } |
| 161 | Script::run<MineSweeper,DFS,SizeOptions>(opt); |
| 162 | return 0; |
| 163 | } |
| 164 | |
| 165 | |
| 166 | namespace { |