Packages / Fedora 44 / Unspecified / yosyshq-abc-devel

Package: yosyshq-abc-devel (0.67-1.20260709gite026ed5.fc44)

Headers and libraries for developing with ABC

Headers and libraries for developing applications that use ABC.

Other Packages Related to yosyshq-abc-devel:

  • dep: libabc.so.0()(64bit)

    Package not available

  • dep: yosyshq-abc-libs(aarch-64) (= 0.67-1.20260709gite026ed5.fc44)

    Package not available

Download yosyshq-abc-devel

ArchitecturePackage sizeInstalled sizeFilesPackage
aarch64630 KiB3.9 MiBlist of filesDownload
x86_64630 KiB3.9 MiBlist of filesDownload

Paketdateipfade (597)

Showing the first 250 sorted package-associated paths. Use file search to locate a specific path.

  • /usr/include/abc
  • /usr/include/abc/aig
  • /usr/include/abc/aig/aig
  • /usr/include/abc/aig/aig/aig.h
  • /usr/include/abc/aig/gia
  • /usr/include/abc/aig/gia/giaAig.h
  • /usr/include/abc/aig/gia/giaCSatP.h
  • /usr/include/abc/aig/gia/gia.h
  • /usr/include/abc/aig/gia/giaIiff.h
  • /usr/include/abc/aig/gia/giaNewBdd.h
  • /usr/include/abc/aig/gia/giaNewTt.h
  • /usr/include/abc/aig/gia/giaTransduction.h
  • /usr/include/abc/aig/hop
  • /usr/include/abc/aig/hop/cudd2.h
  • /usr/include/abc/aig/hop/hop.h
  • /usr/include/abc/aig/ioa
  • /usr/include/abc/aig/ioa/ioa.h
  • /usr/include/abc/aig/ivy
  • /usr/include/abc/aig/ivy/attr.h
  • /usr/include/abc/aig/ivy/ivy.h
  • /usr/include/abc/aig/miniaig
  • /usr/include/abc/aig/miniaig/abcOper.h
  • /usr/include/abc/aig/miniaig/miniaig.h
  • /usr/include/abc/aig/miniaig/minilut.h
  • /usr/include/abc/aig/miniaig/ndr.h
  • /usr/include/abc/aig/saig
  • /usr/include/abc/aig/saig/saig.h
  • /usr/include/abc/base
  • /usr/include/abc/base/abc
  • /usr/include/abc/base/abc/abc.h
  • /usr/include/abc/base/abc/abcInt.h
  • /usr/include/abc/base/acb
  • /usr/include/abc/base/acb/acb.h
  • /usr/include/abc/base/acb/acbPar.h
  • /usr/include/abc/base/acb/acbSets.h
  • /usr/include/abc/base/bac
  • /usr/include/abc/base/bac/bac.h
  • /usr/include/abc/base/bac/bacPrs.h
  • /usr/include/abc/base/cba
  • /usr/include/abc/base/cba/cba.h
  • /usr/include/abc/base/cba/cbaPrs.h
  • /usr/include/abc/base/cba/cbaTypes.h
  • /usr/include/abc/base/cmd
  • /usr/include/abc/base/cmd/cmd.h
  • /usr/include/abc/base/cmd/cmdInt.h
  • /usr/include/abc/base/exor
  • /usr/include/abc/base/exor/exor.h
  • /usr/include/abc/base/io
  • /usr/include/abc/base/io/ioAbc.h
  • /usr/include/abc/base/io/ioInt.h
  • /usr/include/abc/base/io/ioResub.h
  • /usr/include/abc/base/main
  • /usr/include/abc/base/main/abcapis.h
  • /usr/include/abc/base/main/abcapis_old.h
  • /usr/include/abc/base/main/main.h
  • /usr/include/abc/base/main/mainInt.h
  • /usr/include/abc/base/pla
  • /usr/include/abc/base/pla/pla.h
  • /usr/include/abc/base/ver
  • /usr/include/abc/base/ver/ver.h
  • /usr/include/abc/base/wlc
  • /usr/include/abc/base/wlc/wlc.h
  • /usr/include/abc/base/wln
  • /usr/include/abc/base/wln/wln.h
  • /usr/include/abc/bdd
  • /usr/include/abc/bdd/bbr
  • /usr/include/abc/bdd/bbr/bbr.h
  • /usr/include/abc/bdd/cas
  • /usr/include/abc/bdd/cas/cas.h
  • /usr/include/abc/bdd/cudd
  • /usr/include/abc/bdd/cudd/cudd.h
  • /usr/include/abc/bdd/cudd/cuddInt.h
  • /usr/include/abc/bdd/dsd
  • /usr/include/abc/bdd/dsd/dsd.h
  • /usr/include/abc/bdd/dsd/dsdInt.h
  • /usr/include/abc/bdd/epd
  • /usr/include/abc/bdd/epd/epd.h
  • /usr/include/abc/bdd/extrab
  • /usr/include/abc/bdd/extrab/extraBdd.h
  • /usr/include/abc/bdd/extrab/extraLutCas.h
  • /usr/include/abc/bdd/llb
  • /usr/include/abc/bdd/llb/llb.h
  • /usr/include/abc/bdd/llb/llbInt.h
  • /usr/include/abc/bdd/mtr
  • /usr/include/abc/bdd/mtr/mtr.h
  • /usr/include/abc/bdd/mtr/mtrInt.h
  • /usr/include/abc/bdd/reo
  • /usr/include/abc/bdd/reo/reo.h
  • /usr/include/abc/bool
  • /usr/include/abc/bool/bdc
  • /usr/include/abc/bool/bdc/bdc.h
  • /usr/include/abc/bool/bdc/bdcInt.h
  • /usr/include/abc/bool/dec
  • /usr/include/abc/bool/dec/dec.h
  • /usr/include/abc/bool/deco
  • /usr/include/abc/bool/deco/deco.h
  • /usr/include/abc/bool/kit
  • /usr/include/abc/bool/kit/cloud.h
  • /usr/include/abc/bool/kit/kit.h
  • /usr/include/abc/bool/lucky
  • /usr/include/abc/bool/lucky/lucky.h
  • /usr/include/abc/bool/lucky/luckyInt.h
  • /usr/include/abc/bool/rpo
  • /usr/include/abc/bool/rpo/literal.h
  • /usr/include/abc/bool/rpo/rpo.h
  • /usr/include/abc/bool/rsb
  • /usr/include/abc/bool/rsb/rsb.h
  • /usr/include/abc/bool/rsb/rsbInt.h
  • /usr/include/abc/generic.h
  • /usr/include/abc/map
  • /usr/include/abc/map/amap
  • /usr/include/abc/map/amap/amap.h
  • /usr/include/abc/map/amap/amapInt.h
  • /usr/include/abc/map/cov
  • /usr/include/abc/map/cov/cov.h
  • /usr/include/abc/map/cov/covInt.h
  • /usr/include/abc/map/emap
  • /usr/include/abc/map/emap/emap.h
  • /usr/include/abc/map/fpga
  • /usr/include/abc/map/fpga/fpga.h
  • /usr/include/abc/map/fpga/fpgaInt.h
  • /usr/include/abc/map/if
  • /usr/include/abc/map/if/acd
  • /usr/include/abc/map/if/acd/ac_wrapper.h
  • /usr/include/abc/map/if/ifCount.h
  • /usr/include/abc/map/if/if.h
  • /usr/include/abc/map/mapper
  • /usr/include/abc/map/mapper/mapper.h
  • /usr/include/abc/map/mapper/mapperInt.h
  • /usr/include/abc/map/mio
  • /usr/include/abc/map/mio/exp.h
  • /usr/include/abc/map/mio/mio.h
  • /usr/include/abc/map/mio/mioInt.h
  • /usr/include/abc/map/mpm
  • /usr/include/abc/map/mpm/mpm.h
  • /usr/include/abc/map/mpm/mpmInt.h
  • /usr/include/abc/map/mpm/mpmMig.h
  • /usr/include/abc/map/scl
  • /usr/include/abc/map/scl/sclCon.h
  • /usr/include/abc/map/scl/scl.h
  • /usr/include/abc/map/scl/sclLib.h
  • /usr/include/abc/map/scl/sclSize.h
  • /usr/include/abc/map/scl/sclTime.h
  • /usr/include/abc/map/super
  • /usr/include/abc/map/super/super.h
  • /usr/include/abc/map/super/superInt.h
  • /usr/include/abc/misc
  • /usr/include/abc/misc/avl
  • /usr/include/abc/misc/avl/avl.h
  • /usr/include/abc/misc/bar
  • /usr/include/abc/misc/bar/bar.h
  • /usr/include/abc/misc/bbl
  • /usr/include/abc/misc/bbl/bblif.h
  • /usr/include/abc/misc/btor
  • /usr/include/abc/misc/btor/btor2mem.h
  • /usr/include/abc/misc/btor/btor2parser.h
  • /usr/include/abc/misc/btor/btor2stack.h
  • /usr/include/abc/misc/espresso
  • /usr/include/abc/misc/espresso/espresso.h
  • /usr/include/abc/misc/espresso/main.h
  • /usr/include/abc/misc/espresso/mincov.h
  • /usr/include/abc/misc/espresso/mincov_int.h
  • /usr/include/abc/misc/espresso/sparse.h
  • /usr/include/abc/misc/espresso/sparse_int.h
  • /usr/include/abc/misc/espresso/util_old.h
  • /usr/include/abc/misc/extra
  • /usr/include/abc/misc/extra/extra.h
  • /usr/include/abc/misc/hash
  • /usr/include/abc/misc/hash/hashFlt.h
  • /usr/include/abc/misc/hash/hashGen.h
  • /usr/include/abc/misc/hash/hash.h
  • /usr/include/abc/misc/hash/hashInt.h
  • /usr/include/abc/misc/hash/hashPtr.h
  • /usr/include/abc/misc/mem
  • /usr/include/abc/misc/mem/mem2.h
  • /usr/include/abc/misc/mem/mem.h
  • /usr/include/abc/misc/mvc
  • /usr/include/abc/misc/mvc/mvc.h
  • /usr/include/abc/misc/nm
  • /usr/include/abc/misc/nm/nm.h
  • /usr/include/abc/misc/nm/nmInt.h
  • /usr/include/abc/misc/parse
  • /usr/include/abc/misc/parse/parse.h
  • /usr/include/abc/misc/parse/parseInt.h
  • /usr/include/abc/misc/st
  • /usr/include/abc/misc/st/st.h
  • /usr/include/abc/misc/st/stmm.h
  • /usr/include/abc/misc/tim
  • /usr/include/abc/misc/tim/tim.h
  • /usr/include/abc/misc/tim/timInt.h
  • /usr/include/abc/misc/util
  • /usr/include/abc/misc/util/abc_global.h
  • /usr/include/abc/misc/util/abc_namespaces.h
  • /usr/include/abc/misc/util/utilCex.h
  • /usr/include/abc/misc/util/utilDouble.h
  • /usr/include/abc/misc/util/utilFloat.h
  • /usr/include/abc/misc/util/util_hack.h
  • /usr/include/abc/misc/util/utilMem.h
  • /usr/include/abc/misc/util/utilNam.h
  • /usr/include/abc/misc/util/utilSignal.h
  • /usr/include/abc/misc/util/utilTruth.h
  • /usr/include/abc/misc/util/winsock_compat.h
  • /usr/include/abc/misc/vec
  • /usr/include/abc/misc/vec/vecAtt.h
  • /usr/include/abc/misc/vec/vecBit.h
  • /usr/include/abc/misc/vec/vecFlt.h
  • /usr/include/abc/misc/vec/vec.h
  • /usr/include/abc/misc/vec/vecHash.h
  • /usr/include/abc/misc/vec/vecHsh.h
  • /usr/include/abc/misc/vec/vecInt.h
  • /usr/include/abc/misc/vec/vecMem.h
  • /usr/include/abc/misc/vec/vecPtr.h
  • /usr/include/abc/misc/vec/vecQue.h
  • /usr/include/abc/misc/vec/vecSet.h
  • /usr/include/abc/misc/vec/vecStr.h
  • /usr/include/abc/misc/vec/vecVec.h
  • /usr/include/abc/misc/vec/vecWec.h
  • /usr/include/abc/misc/vec/vecWrd.h
  • /usr/include/abc/opt
  • /usr/include/abc/opt/cgt
  • /usr/include/abc/opt/cgt/cgt.h
  • /usr/include/abc/opt/cgt/cgtInt.h
  • /usr/include/abc/opt/csw
  • /usr/include/abc/opt/csw/csw.h
  • /usr/include/abc/opt/csw/cswInt.h
  • /usr/include/abc/opt/cut
  • /usr/include/abc/opt/cut/cut.h
  • /usr/include/abc/opt/cut/cutInt.h
  • /usr/include/abc/opt/cut/cutList.h
  • /usr/include/abc/opt/dar
  • /usr/include/abc/opt/dar/dar.h
  • /usr/include/abc/opt/dar/darInt.h
  • /usr/include/abc/opt/dau
  • /usr/include/abc/opt/dau/dau.h
  • /usr/include/abc/opt/dau/dauInt.h
  • /usr/include/abc/opt/dsc
  • /usr/include/abc/opt/dsc/dsc.h
  • /usr/include/abc/opt/eslim
  • /usr/include/abc/opt/eslim/eSLIM.h
  • /usr/include/abc/opt/fret
  • /usr/include/abc/opt/fret/fretime.h
  • /usr/include/abc/opt/fsim
  • /usr/include/abc/opt/fsim/fsim.h
  • /usr/include/abc/opt/fsim/fsimInt.h
  • /usr/include/abc/opt/fxch
  • /usr/include/abc/opt/fxch/Fxch.h
  • /usr/include/abc/opt/fxu
  • /usr/include/abc/opt/fxu/fxu.h
  • /usr/include/abc/opt/fxu/fxuInt.h
  • /usr/include/abc/opt/lpk

Field source: Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

Dieses Paket verwenden

OpenFactory kann dieses Betriebssystem in einer Browser-VM starten oder einen Image-Build mit dem nativen Paketnamen aus diesem Datensatz beginnen.

Versionen, Suiten und Repositories

Jede Zeile ist Paketindex-Metadaten für eine Version, Architektur, Suite und ein Repository. Namen, URLs und Größen stammen aus der Quelle; ein Link ist ein veränderbarer Abrufort, kein Weitergabanspruch von OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
0.67-1.20260709gite026ed5.fc4444 / updatesaarch64Fedora 44 · updates · aarch64630 KiB3.9 MiBPackages/y/yosyshq-abc-devel-0.67-1.20260709gite026ed5.fc44.aarch64.rpm
0.67-1.20260709gite026ed5.fc4444 / updatesx86_64Fedora 44 · updates · x86_64630 KiB3.9 MiBPackages/y/yosyshq-abc-devel-0.67-1.20260709gite026ed5.fc44.x86_64.rpm
0.63-1.20260304git8e40154.fc4444 / everythingaarch64Fedora 44 · Everything · aarch64624 KiB3.9 MiBPackages/y/yosyshq-abc-devel-0.63-1.20260304git8e40154.fc44.aarch64.rpm
0.63-1.20260304git8e40154.fc4444 / everythingx86_64Fedora 44 · Everything · x86_64624 KiB3.9 MiBPackages/y/yosyshq-abc-devel-0.63-1.20260304git8e40154.fc44.x86_64.rpm

Field source: Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

Prüfsummen und Beobachtungsdaten

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

0.67-1.20260709gite026ed5.fc44 / aarch64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: a7dd01ab325692d6a2ee966cb53b08c06800fa033cfae09d9ffb009d5e5e19bb

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' 'a7dd01ab325692d6a2ee966cb53b08c06800fa033cfae09d9ffb009d5e5e19bb' 'yosyshq-abc-devel-0.67-1.20260709gite026ed5.fc44.aarch64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

0.67-1.20260709gite026ed5.fc44 / x86_64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: ebd9c42b64319d14e2ff804d5bdd1f36ea889ae514e92e47ca3e62f30d7ab790

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' 'ebd9c42b64319d14e2ff804d5bdd1f36ea889ae514e92e47ca3e62f30d7ab790' 'yosyshq-abc-devel-0.67-1.20260709gite026ed5.fc44.x86_64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

0.63-1.20260304git8e40154.fc44 / aarch64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: ba3856394e2a2e7802df1ad97b5606bf3f556ea8655185ad3899db7852818fb0

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' 'ba3856394e2a2e7802df1ad97b5606bf3f556ea8655185ad3899db7852818fb0' 'yosyshq-abc-devel-0.63-1.20260304git8e40154.fc44.aarch64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

0.63-1.20260304git8e40154.fc44 / x86_64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: 84b2902b49e96cdf84b1df60a6b1b17f5dd4a47113b4cfac58a199ca00907f2a

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s %s\n' '84b2902b49e96cdf84b1df60a6b1b17f5dd4a47113b4cfac58a199ca00907f2a' 'yosyshq-abc-devel-0.63-1.20260304git8e40154.fc44.x86_64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

Vollständigkeit des Katalogsatzes

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description
25/25
Artifact path and source digest
25/25
Dependency metadata
15/15
Package-file index
15/15
Homepage
5/5
License text
5/5
Source package or maintainer
10/10

Recorded total: 100/100

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee, Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991, Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b, Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Quellen und Herkunft

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

  • Authoritative source; repository metadata signature verified, revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    236514c32119ab3c85b81fbb9e5e9d92b07aeba0d19d64c9b4fc9117a1863769
    Signer fingerprint
    Not recorded
    Keyring revision
    RPM-GPG-KEY-fedora-44-primary
    SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
    Tool and policy
    1
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified

  • Authoritative source; repository metadata signature verified, revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    1300b99ac5d04b5561ad901320c8bd59ed1553f4971c3ce2ca48c40242c66676
    Signer fingerprint
    Not recorded
    Keyring revision
    RPM-GPG-KEY-fedora-44-primary
    SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
    Tool and policy
    1
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified

  • Authoritative source; repository metadata signature verified, revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    2ec0ba92e556309075d8efe3c3301b36bb7ecd47c4e17566f0192c9c5436ed5f
    Signer fingerprint
    Not recorded
    Keyring revision
    RPM-GPG-KEY-fedora-44-primary
    SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
    Tool and policy
    1
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified

  • Authoritative source; repository metadata signature verified, revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    a69a0ab020457a7af2515066b7caccb3950bcf9dc7bedb52b1850098d9857ae1
    Signer fingerprint
    Not recorded
    Keyring revision
    RPM-GPG-KEY-fedora-44-primary
    SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
    Tool and policy
    1
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified