% Engine selection smoke test for `flowlog_engine=wamvm`.

:- catch(set_prolog_flag(flowlog_engine, wamvm), _, true).

ok :-
    current_prolog_flag(flowlog_engine_active, Active),
    Active == wamvm,
    X is 1+2,
    X == 3,
    sort([2, 1, 1], S),
    S == [1, 2].

