Skip to content
Documentation
API Reference
BitVecTryToStr

BitVecTryToStr

Description

Convert a bitvector to a string. Two forms via argument count:

  • BitVecTryToStr(out, bv) - uses bv’s allocator.
  • BitVecTryToStr(out, bv, alloc) - uses the explicit allocator.

Success

Returns true and initializes out.

Failure

Returns false if allocation fails.

Usage example (Cross-references)

Usage examples (Cross-references) 
        // Convert to string
        Str  str;
        bool ok = BitVecTryToStr(&str, &bv);
    
        // Check result

                      (BitVecAllocator(&bv)->retry_limit == alloc.base.retry_limit);
    
        ok     = BitVecTryToStr(&str, &bv);
        result = result && ok && (StrAllocator(&str)->effort == alloc.base.effort) &&
                 (StrAllocator(&str)->retry_limit == alloc.base.retry_limit) &&
Last updated on
BitVecTryFromStrBitVecWeightCompare