BitVecIsSubset

    }
    
    bool BitVecIsSubset(const BitVec *bv1, const BitVec *bv2) {
        ValidateBitVec(bv1);
        ValidateBitVec(bv2);

    
    bool BitVecIsSuperset(const BitVec *bv1, const BitVec *bv2) {
        return BitVecIsSubset(bv2, bv1);
    }

        DefaultAllocator alloc = DefaultAllocatorInit();
    
        WriteFmt("Testing BitVecIsSubset\n");
    
        BitVec subset   = BitVecInit(ALLOCATOR_OF(&alloc));

    
        // subset should be a subset of superset (all 1s in subset are also 1s in superset)
        bool result = BitVecIsSubset(&subset, &superset);
    
        // Test non-subset case

        BitVecSet(&superset, 2, false); // Change superset to 1101
        // Now subset (1010) is not a subset of superset (1101) because subset has 1 at position 2
        result = result && !BitVecIsSubset(&subset, &superset);
    
        // Test equal sets (should be subset)

        BitVecPush(&superset, false);
    
        result = result && BitVecIsSubset(&subset, &superset);
    
        // Clean up

        BitVecClear(&bv1);
        BitVecClear(&bv2);
        result = result && BitVecIsSubset(&bv1, &bv2); // Empty is subset of empty
    
        BitVecDeinit(&bv1);

        BitVecPush(&superset, true);
    
        result = result && BitVecIsSubset(&subset, &superset);
        result = result && BitVecIsSuperset(&superset, &subset);

    
        // Test NULL pointer - should abort
        BitVecIsSubset(NULL, NULL);
    
        return false;

        BitVecPush(&bv, true);
    
        BitVecIsSubset(NULL, &bv); // must abort
    
        BitVecDeinit(&bv);

        Allocator       *base  = ALLOCATOR_OF(&alloc);
    
        WriteFmt("Testing BitVecIsSubset scans past index 42\n");
    
        BitVec bv1 = BitVecInit(base);

    
        // bv1's 1-bit at 45 has no counterpart in bv2 -> not a subset.
        bool result = (BitVecIsSubset(&bv1, &bv2) == false);
    
        BitVecDeinit(&bv1);

        Allocator       *base  = ALLOCATOR_OF(&alloc);
    
        WriteFmt("Testing BitVecIsSubset with shorter bv1 stays in bounds\n");
    
        BitVec bv1 = BitVecInit(base); // length 2

    
        // bv1's only 1 (pos 0) is set in bv2 -> subset is true.
        bool result = (BitVecIsSubset(&bv1, &bv2) == true);
    
        BitVecDeinit(&bv1);

        Allocator       *base  = ALLOCATOR_OF(&alloc);
    
        WriteFmt("Testing BitVecIsSubset with shorter bv2 stays in bounds\n");
    
        BitVec bv1 = BitVecInit(base); // length 5

    
        // bv1's only 1 (pos 0) is set in bv2 -> subset is true.
        bool result = (BitVecIsSubset(&bv1, &bv2) == true);
    
        BitVecDeinit(&bv1);

        Allocator       *base  = ALLOCATOR_OF(&alloc);
    
        WriteFmt("Testing BitVecIsSubset rejects NULL bv2\n");
    
        BitVec bv1 = BitVecInit(base);

    
        // Should abort on the NULL second argument.
        BitVecIsSubset(&bv1, NULL);
    
        BitVecDeinit(&bv1);