CREATE SERVER fdw_options FOREIGN DATA WRAPPER brainfuck_fdw;
-- `program` is required.
CREATE FOREIGN TABLE no_program (line text) SERVER fdw_options;
ERROR:  option "program" is required for brainfuck_fdw
-- `program` must be a valid Brainfuck program.
CREATE FOREIGN TABLE unmatched (line text) SERVER fdw_options OPTIONS (program '[');
ERROR:  unmatched "["
-- `rows` must be a positive integer.
CREATE FOREIGN TABLE zero_rows (line text) SERVER fdw_options OPTIONS (program '+', rows '0');
ERROR:  invalid value for option "rows": 0
CREATE FOREIGN TABLE many_rows (line text) SERVER fdw_options OPTIONS (program '+', rows 'many');
ERROR:  invalid value for option "rows": many
DROP SERVER fdw_options CASCADE;