settingUnknownToAdmissibleValueSucceeds
Tests that, for every admissible value of the unknown flag, the query
?- set_flag(unknown, Value), current_flag(unknown, V).Content copied to clipboard
succeeds binding V to Value.