// Comparison functions
    bool BitVecEquals(BitVec *bv1, BitVec *bv2) {
        ValidateBitVec(bv1);
        ValidateBitVec(bv2);

    // Test BitVecEquals function
    bool test_bitvec_equals(void) {
        WriteFmt("Testing BitVecEquals\n");
    
        BitVec bv1 = BitVecInit();

    
        // Test equal empty bitvectors
        bool result = BitVecEquals(&bv1, &bv2);
    
        // Add same pattern to both

    
        // Should be equal
        result = result && BitVecEquals(&bv1, &bv2);
    
        // Add different pattern to third

    
        // Should not be equal
        result = result && !BitVecEquals(&bv1, &bv3);
    
        // Test different lengths

        // Test different lengths
        BitVecPush(&bv3, true);
        result = result && !BitVecEquals(&bv1, &bv3);
    
        // Clean up

    
        // Test compare empty bitvecs
        result = result && BitVecEquals(&bv1, &bv2);
        result = result && (BitVecCompare(&bv1, &bv2) == 0);

        // Test compare empty vs non-empty
        BitVecPush(&bv1, true);
        result = result && !BitVecEquals(&bv1, &bv2);
        result = result && (BitVecCompare(&bv1, &bv2) != 0);

            BitVecPush(&bv2, bit);
        }
        result = result && BitVecEquals(&bv1, &bv2);
    
        // Test subset operations on empty sets

    
        // Test large-scale comparison performance and correctness
        result = result && (BitVecEquals(&large1, &large1)); // Self-equality
        result = result && !BitVecEquals(&large1, &large2);  // Different patterns

        // Test large-scale comparison performance and correctness
        result = result && (BitVecEquals(&large1, &large1)); // Self-equality
        result = result && !BitVecEquals(&large1, &large2);  // Different patterns
    
        // Test range operations on large vectors

    
        // Test NULL pointer - should abort
        BitVecEquals(NULL, &bv);
    
        BitVecDeinit(&bv);