bool BitVecIsSorted(BitVec *bv) {
    ValidateBitVec(bv);

    // Test BitVecIsSorted function
    bool test_bitvec_is_sorted(void) {
    printf("Testing BitVecIsSorted\n");
    
    BitVec bv = BitVecInit();

    
    // Test empty bitvector (should be sorted)
    bool result = BitVecIsSorted(&bv);
    
    // Test sorted pattern: 0001111

    BitVecPush(&bv, true);
    
    result = result && BitVecIsSorted(&bv);
    
    // Test unsorted pattern (add 0 after 1s)

    // Test unsorted pattern (add 0 after 1s)
    BitVecPush(&bv, false);
    result = result && !BitVecIsSorted(&bv);
    
    // Test all zeros

    BitVecPush(&bv, false);
    }
    result = result && BitVecIsSorted(&bv);
    
    // Test all ones

    BitVecPush(&bv, true);
    }
    result = result && BitVecIsSorted(&bv);
    
    // Clean up

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