BitVecNumericalCompare

    }
    
    int BitVecNumericalCompare(const BitVec *bv1, const BitVec *bv2) {
        ValidateBitVec(bv1);
        ValidateBitVec(bv2);

        }
    
        int result = BitVecNumericalCompare(bv1, bv2);
    
        // For two negatives, magnitude order is the opposite of value order

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

    
        // Numerical comparison should compare the integer values
        int  cmp_result = BitVecNumericalCompare(&bv1, &bv2);
        bool result     = (cmp_result > 0); // 5 > 3

        BitVecPush(&bv2, true); // Also 101
    
        result = result && (BitVecNumericalCompare(&bv1, &bv2) == 0);
    
        // Clean up

    
        // Numerically, 10 (2) < 101 (5)
        result = result && (BitVecNumericalCompare(&bv1, &bv2) < 0);
    
        // Test equal cases

        BitVec bv3 = BitVecClone(&bv1);
        result     = result && !(BitVecCompare(&bv1, &bv3) < 0);
        result     = result && !(BitVecNumericalCompare(&bv1, &bv3) < 0);
    
        // Test reverse comparison

        // Test reverse comparison
        result = result && !(BitVecCompare(&bv2, &bv1) < 0);
        result = result && !(BitVecNumericalCompare(&bv2, &bv1) < 0);
    
        // Clean up

        // Cross-validate different comparison methods
        // Numerical: 86 < 89, so bv1 < bv2
        result = result && (BitVecNumericalCompare(&bv1, &bv2) < 0);
        result = result && (BitVecCompare(&bv1, &bv2) < 0);

        }
    
        if (BitVecNumericalCompare(&bv1, &bv2) < 0 && BitVecNumericalCompare(&bv2, &bv3) < 0) {
            result = result && (BitVecNumericalCompare(&bv1, &bv3) < 0);
        }

    
        if (BitVecNumericalCompare(&bv1, &bv2) < 0 && BitVecNumericalCompare(&bv2, &bv3) < 0) {
            result = result && (BitVecNumericalCompare(&bv1, &bv3) < 0);
        }

    
        // Unsigned: 01111111 (127) < 10000001 (129)
        result = result && (BitVecNumericalCompare(&pos, &neg) < 0);
    
        // Signed: 01111111 (+127) > 10000001 (-127)

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

    
        // bv1 has its most-significant magnitude bit set, bv2 is all zero.
        bool result = (BitVecNumericalCompare(&bv1, &bv2) > 0);
    
        BitVecDeinit(&bv1);

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