rixed

(set-option :print-success false)
(set-option :produce-models true)

(declare-fun d00 () Int)
(declare-fun d01 () Int)
(declare-fun d02 () Int)
(declare-fun d03 () Int)
(declare-fun d04 () Int)
(declare-fun d05 () Int)
(declare-fun d10 () Int)

rixed

CXXFLAGS += -std=gnu++17 -g -W -Wall
LDLIBS += -lorc -lhdfspp_static -llz4 -lprotobuf -lzstd -lsnappy -lz -lsasl2 -lcrypto

all: bug

actual: bug.orc
	orc-contents bug.orc > $@

check: actual expected
	@diff $^

rixed

all: if.opt

.SUFFIXES: .cmo .cmi .cmx .opt .ml .top

.ml.cmo:
        ocamlfind ocamlc -package batteries -g -annot -c $< -o $@

.ml.cmx:
        ocamlfind ocamlopt -package batteries -g -annot -c $< -o $@

rixed

let nreplace ~str ~sub ~by =                                                                                               
  let strlen = length str in                                                                                               
  let sublen = length sub in                                                                                               
  let bylen  = length by in                                                                                                
  let dlen   = bylen - sublen in                                                                                           
  let rec loop_subst l i = 
    match Exceptionless.rfind_from str (i-1) sub with                                                                      
    | None -> l                                                                                                            
    | Some i' -> loop_subst (l + dlen) i' in                                                                               
  le