settingMissingFlagsSucceeds

Tests that, for flag names not present in a solver's default flags map (a, b, c), the query

?- set_flag(a, value), current_flag(a, X).

succeeds binding X to value, and that the flag is subsequently present in the solver's flags map: unlike the standard-defined flags, this solver implementation allows setting flags it did not previously know about.