% WAM-lite ISO prolog_flag + char_conversion coverage.

:- catch(set_prolog_flag(flowlog_engine, wam), _, true).
:- catch(set_prolog_flag(occurs_check, true), _, true).

ok :-
    current_prolog_flag(flowlog_engine_active, Active),
    Active == wam,

    current_prolog_flag(occurs_check, OC0),
    OC0 == true,
    \+ (X = f(X)),

    current_prolog_flag(max_arity, A),
    A == 255,

    set_prolog_flag(unknown, fail),
    current_prolog_flag(unknown, U),
    U == fail,
    set_prolog_flag(unknown, error),

    set_prolog_flag(char_conversion, on),
    current_prolog_flag(char_conversion, CC),
    CC == on,
    char_conversion(a, b),
    current_char_conversion(a, b),

    current_prolog_flag(Name1, _),
    Name1 == unknown,
    !,
    current_prolog_flag(Name2, _),
    Name2 == char_conversion,
    !.