-- TEST MAKE_EMPTY AND IS_EMPTY USING X0SET

with Instrument, X0set;
use Instrument;

procedure Mtesa2 is

    type Day is (Mon, Tue, Wed, Thur, Fri);

    package Dset is new X0set (Day);

    use Dset;

    S2 : Set;

begin

    Start ("MTESA2", "TEST MAKE_EMPTY, IS_EMPTY.");
    for I in 1 .. 1000 loop
        Make_Empty (S2);

        if not Is_Empty (S2) then

            Comment ("IS_EMPTY FAILED.");

        end if;
    end loop;

    Stop;

end Mtesa2;