optionally followed by any of the common model checker option
specifications (see check-model.q). */
int
-cmd_debug_datasheet (struct lexer *lexer, struct dataset *dataset UNUSED)
+cmd_debug_datasheet (struct lexer *lexer, struct dataset *dataset UNUSED)
{
struct datasheet_test_params params;
bool ok;
params.backing_rows = 0;
params.backing_cols = 0;
- for (;;)
+ for (;;)
{
if (lex_match_id (lexer, "MAX"))
{
break;
lex_match (lexer, '/');
}
-
+
ok = check_model (lexer, datasheet_test, ¶ms);
printf ("Datasheet test max(%d,%d) backing(%d,%d) %s.\n",
params.max_rows, params.max_cols,
where all of the delimiters are optional, into *ROWS and
*COLS. Returns true if successful, false on parse failure. */
static bool
-parse_coordinates (struct lexer *lexer, int *rows, int *cols)
+parse_coordinates (struct lexer *lexer, int *rows, int *cols)
{
lex_match (lexer, '=');
lex_match (lexer, '(');
return false;
*cols = lex_integer (lexer);
lex_get (lexer);
-
+
lex_match (lexer, ')');
return true;
}