Home
last modified time | relevance | path

Searched refs:bRdr (Results 1 – 15 of 15) sorted by relevance

/dports/math/vampire/vampire-4.5.1/VUtils/
H A DSMTLIBConcat.cpp192 LispListReader bRdr(benchLst); in addBenchmark() local
193 bRdr.acceptAtom("benchmark"); in addBenchmark()
194 bRdr.acceptAtom(); //benchmark name in addBenchmark()
195 while(bRdr.hasNext()) { in addBenchmark()
196 if(bRdr.tryAcceptAtom(":status")) { in addBenchmark()
197 bRdr.acceptAtom(); in addBenchmark()
199 else if(bRdr.tryAcceptAtom(":source")) { in addBenchmark()
200 if(!bRdr.tryAcceptCurlyBrackets()) { in addBenchmark()
201 bRdr.acceptAtom(); in addBenchmark()
220 LExpr* form = bRdr.readNext(); in addBenchmark()
[all …]
H A DZ3InterpolantExtractor.cpp592 LispListReader bRdr(parsRdr.readList()); in collectSMTLIB1FileFunctionNames() local
595 bRdr.acceptAtom("benchmark"); in collectSMTLIB1FileFunctionNames()
596 bRdr.acceptAtom(); in collectSMTLIB1FileFunctionNames()
597 while(bRdr.hasNext()) { in collectSMTLIB1FileFunctionNames()
598 if(bRdr.tryAcceptAtom(":status")) { in collectSMTLIB1FileFunctionNames()
599 bRdr.acceptAtom(); in collectSMTLIB1FileFunctionNames()
601 else if(bRdr.tryAcceptAtom(":source")) { in collectSMTLIB1FileFunctionNames()
602 if(!bRdr.tryAcceptCurlyBrackets()) { in collectSMTLIB1FileFunctionNames()
603 bRdr.acceptAtom(); in collectSMTLIB1FileFunctionNames()
615 bRdr.readNext(); in collectSMTLIB1FileFunctionNames()
[all …]
/dports/math/vampire/vampire-4.5.1/Parse/
H A DSMTLIB.cpp117 LispListReader bRdr(bench); in readBenchmark() local
118 bRdr.acceptAtom("benchmark"); in readBenchmark()
119 _benchName = bRdr.readAtom(); in readBenchmark()
121 while(bRdr.hasNext()) { in readBenchmark()
123 _statusStr = bRdr.readAtom(); in readBenchmark()
127 bRdr.acceptAtom(); in readBenchmark()
132 bRdr.acceptAtom(); in readBenchmark()
137 bRdr.acceptAtom(); in readBenchmark()
141 bRdr.acceptAtom(); in readBenchmark()
168 _lispFormula = bRdr.readNext(); in readBenchmark()
[all …]
H A DSMTLIB2.cpp94 LispListReader bRdr(bench); in readBenchmark() local
97 while(bRdr.hasNext()){ in readBenchmark()
98 LExpr* lexp = bRdr.next(); in readBenchmark()
252 if (bRdr.hasNext()) { in readBenchmark()
253 LispListReader exitRdr(bRdr.readList()); in readBenchmark()
266 bRdr.acceptEOL(); in readBenchmark()
/dports/security/vault/vault-1.8.2/vendor/github.com/docker/docker/pkg/archive/
H A Darchive_unix_test.go105 bRdr := bytes.NewReader(buf)
106 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
143 bRdr, err := TarResourceRebase(origin, "origin")
148 content := RebaseArchiveEntries(bRdr, srcBase, dstBase)
212 bRdr := bytes.NewReader(buf)
213 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
/dports/sysutils/istio/istio-1.6.7/vendor/github.com/docker/docker/pkg/archive/
H A Darchive_unix_test.go104 bRdr := bytes.NewReader(buf)
105 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
142 bRdr, err := TarResourceRebase(origin, "origin")
147 content := RebaseArchiveEntries(bRdr, srcBase, dstBase)
213 bRdr := bytes.NewReader(buf)
214 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
/dports/databases/cayley/cayley-0.7.5-2-gcf576ba/vendor/github.com/docker/docker/pkg/archive/
H A Darchive_unix_test.go102 bRdr := bytes.NewReader(buf)
103 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
140 bRdr, err := TarResourceRebase(origin, "origin")
145 content := RebaseArchiveEntries(bRdr, srcBase, dstBase)
210 bRdr := bytes.NewReader(buf)
211 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
/dports/databases/timescaledb-backup/timescaledb-backup-0.1.1/vendor/github.com/docker/docker/pkg/archive/
H A Darchive_unix_test.go104 bRdr := bytes.NewReader(buf)
105 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
142 bRdr, err := TarResourceRebase(origin, "origin")
147 content := RebaseArchiveEntries(bRdr, srcBase, dstBase)
213 bRdr := bytes.NewReader(buf)
214 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
/dports/net-p2p/go-ethereum/go-ethereum-1.10.14/vendor/github.com/docker/docker/pkg/archive/
H A Darchive_unix_test.go106 bRdr := bytes.NewReader(buf)
107 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
144 bRdr, err := TarResourceRebase(origin, "origin")
149 content := RebaseArchiveEntries(bRdr, srcBase, dstBase)
214 bRdr := bytes.NewReader(buf)
215 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
/dports/sysutils/helm/helm-3.5.2/vendor/github.com/docker/docker/pkg/archive/
H A Darchive_unix_test.go105 bRdr := bytes.NewReader(buf)
106 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
143 bRdr, err := TarResourceRebase(origin, "origin")
148 content := RebaseArchiveEntries(bRdr, srcBase, dstBase)
212 bRdr := bytes.NewReader(buf)
213 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
/dports/devel/gitlab-runner/gitlab-runner-8925d9a06fd8e452e2161a768462652a2a13111f/vendor/github.com/docker/docker/moby-20.10.2/pkg/archive/
H A Darchive_unix_test.go104 bRdr := bytes.NewReader(buf)
105 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
142 bRdr, err := TarResourceRebase(origin, "origin")
147 content := RebaseArchiveEntries(bRdr, srcBase, dstBase)
214 bRdr := bytes.NewReader(buf)
215 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
/dports/sysutils/docker/docker-ce-18.09.5/components/engine/pkg/archive/
H A Darchive_unix_test.go103 bRdr := bytes.NewReader(buf)
104 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
141 bRdr, err := TarResourceRebase(origin, "origin")
146 content := RebaseArchiveEntries(bRdr, srcBase, dstBase)
211 bRdr := bytes.NewReader(buf)
212 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
/dports/net-mgmt/promscale/promscale-0.6.2/vendor/github.com/docker/docker/pkg/archive/
H A Darchive_unix_test.go105 bRdr := bytes.NewReader(buf)
106 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
143 bRdr, err := TarResourceRebase(origin, "origin")
148 content := RebaseArchiveEntries(bRdr, srcBase, dstBase)
234 bRdr := bytes.NewReader(buf)
235 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
/dports/net-mgmt/prometheus2/prometheus-2.30.3/vendor/github.com/docker/docker/pkg/archive/
H A Darchive_unix_test.go105 bRdr := bytes.NewReader(buf)
106 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
143 bRdr, err := TarResourceRebase(origin, "origin")
148 content := RebaseArchiveEntries(bRdr, srcBase, dstBase)
234 bRdr := bytes.NewReader(buf)
235 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
/dports/net-im/dendrite/dendrite-0.5.1/vendor/github.com/docker/docker/pkg/archive/
H A Darchive_unix_test.go105 bRdr := bytes.NewReader(buf)
106 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})
143 bRdr, err := TarResourceRebase(origin, "origin")
148 content := RebaseArchiveEntries(bRdr, srcBase, dstBase)
234 bRdr := bytes.NewReader(buf)
235 err = Untar(bRdr, dest, &TarOptions{Compression: Uncompressed})