Searched refs:b_lit (Results 1 – 3 of 3) sorted by relevance
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/test/ |
| H A D | ExprsTest.hs | 242 b_lit <- bvLit sym knownRepr (BV.mkBV (knownNat @8) (fromIntegral i))
243 int <- bvToInteger sym b_lit
248 b_lit <- bvLit sym knownRepr (BV.mkBV (knownNat @8) (fromIntegral i))
249 int <- sbvToInteger sym b_lit
256 b_lit <- predToBV sym p w
257 int <- bvToInteger sym b_lit
|
| /dports/biology/py-pysam/pysam-0.18.0/htslib/cram/ |
| H A D | cram_codecs.c | 2232 cram_block *b_rle, *b_len, *b_lit; in cram_xrle_encode_store() local
2260 b_lit = cram_new_block(0, 0); in cram_xrle_encode_store()
2261 if (!b_lit) in cram_xrle_encode_store()
2263 int len3 = tc->store(tc, b_lit, NULL, version); in cram_xrle_encode_store()
2271 BLOCK_APPEND(b, BLOCK_DATA(b_lit), BLOCK_SIZE(b_lit)); in cram_xrle_encode_store()
2275 cram_free_block(b_lit); in cram_xrle_encode_store()
|
| /dports/biology/htslib/htslib-1.14/cram/ |
| H A D | cram_codecs.c | 2232 cram_block *b_rle, *b_len, *b_lit; in cram_xrle_encode_store() local
2260 b_lit = cram_new_block(0, 0); in cram_xrle_encode_store()
2261 if (!b_lit) in cram_xrle_encode_store()
2263 int len3 = tc->store(tc, b_lit, NULL, version); in cram_xrle_encode_store()
2271 BLOCK_APPEND(b, BLOCK_DATA(b_lit), BLOCK_SIZE(b_lit)); in cram_xrle_encode_store()
2275 cram_free_block(b_lit); in cram_xrle_encode_store()
|