Home
last modified time | relevance | path

Searched full:prove (Results 1 – 25 of 192) sorted by relevance

12345678

/openbmc/openbmc/meta-openembedded/meta-perl/recipes-perl/libtest/
H A Dlibtest-harness-perl_3.50.bb41 RPROVIDES:${PN} += "libapp-prove-perl \
42 libapp-prove-state-perl \
43 libapp-prove-state-result-perl \
44 libapp-prove-state-result-test-perl \
111 # do not clobber perl-misc /usr/bin/prove
112 install -m 0755 ${B}/bin/prove ${D}/usr/local/bin/
113 rm -rf ${D}${bindir}/prove
117 FILES:${PN} += "/usr/local/bin/prove"
/openbmc/linux/Documentation/locking/
H A Dlockdep-design.rst26 continuing effort to prove lock usages and dependencies are correct or
292 occur in practice to prove a deadlock: only the simple 'component'
294 task/context) for the validator to be able to prove correctness. (For
303 once, to prove locking correctness - instead of having to trigger every
401 The whole of the rest document tries to prove a certain type of cycle is equivalent
584 We now prove two things:
632 holder to release, and so on. We now can prove that Lx's holder has to wait for
651 , and now let's prove the circle is strong:
/openbmc/openbmc/meta-openembedded/meta-oe/recipes-dbs/psqlodbc/files/
H A Dpsqlodbc-fix-for-ptest-support.patch26 PROVE = @PROVE@
/openbmc/phosphor-dbus-interfaces/yaml/xyz/openbmc_project/Software/
H A DActivationBlocksTransition.interface.yaml11 `Activating` state. Causal ordering of dbus operations can prove that no
/openbmc/phosphor-dbus-interfaces/yaml/xyz/openbmc_project/Logging/
H A DErrorBlocksTransition.interface.yaml11 ordering of D-Bus operations can prove that no critical error needs
/openbmc/linux/tools/testing/selftests/bpf/progs/
H A Dtest_task_pt_regs.c30 /* Prove that uprobe was run */ in handle_uprobe()
/openbmc/openbmc/poky/documentation/test-manual/
H A Dreproducible-builds.rst72 Can we prove the project is reproducible?
75 Yes, we can prove it and we regularly test this on the Autobuilder. At the
/openbmc/qemu/tests/tcg/multiarch/
H A Dfollow-fork-mode.c6 * position in the chain, in order to prove that they survived GDB's fork()
/openbmc/openbmc/poky/meta/files/common-licenses/
H A DGCR-docs21 PURPOSE. SHOULD THE WORK PROVE DEFECTIVE, YOU ASSUME
H A DSAX-PD10 …ire risk as to the quality and performance of SAX is with you. Should SAX prove defective, you ass…
H A DSSH-OpenSSH56 PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING,
H A DiMatix39 …he quality and performance of the Product is with you. Should the Product prove defective, the ful…
H A DArphic-199955 …S TO THE QUALITY AND PERFORMANCE OF THE FONT IS WITH YOU. SHOULD THE FONT PROVE DEFECTIVE, YOU ASS…
/openbmc/linux/kernel/gcov/
H A Dgcc_base.c20 * Printing gcc's version magic may prove useful for debugging in __gcov_init()
/openbmc/phosphor-logging/
H A Dlogging_test.cpp193 // Simple test to prove we fail to compile due to missing param in elog_test()
197 // Simple test to prove we fail to compile due to invalid param in elog_test()
/openbmc/linux/arch/x86/kvm/
H A DKconfig142 bool "Prove KVM MMU correctness"
/openbmc/linux/Documentation/filesystems/
H A Dautomount-support.rst63 It may prove simplest to simply call this at regular intervals, using
/openbmc/qemu/tests/qemu-iotests/tests/
H A Dfuse-allow-other137 # To prove the point, revoke read permissions for others and try again
/openbmc/linux/tools/testing/selftests/tc-testing/creating-testcases/
H A DAddingTestCases.txt61 verifyCmd to prove the command under test succeeded. This pattern
/openbmc/openbmc/poky/documentation/dev-manual/
H A Dbblock.rst15 counterpart, which might prove unnecessary. Editing the ``python3`` recipe,
/openbmc/openbmc/poky/meta/recipes-multimedia/pulseaudio/pulseaudio/
H A D0001-client-conf-Add-allow-autospawn-for-root.patch14 that use case. If someone can prove otherwise, the patch would
/openbmc/linux/Documentation/virt/
H A Dne_overview.rst78 generated by the Nitro Hypervisor and further used to prove the identity of the
/openbmc/qemu/scripts/oss-fuzz/
H A Dbuild.sh36 # When building with optimization, the compiler is expected to prove that the
/openbmc/linux/drivers/staging/rtl8723bs/hal/
H A Dodm_EdcaTurboCheck.c45 * operate at the same time. In stage2/3, we need to prove universal in odm_EdcaTurboCheck()
/openbmc/openbmc/meta-openembedded/meta-oe/licenses/
H A DArphic-Public-License55 …S TO THE QUALITY AND PERFORMANCE OF THE FONT IS WITH YOU. SHOULD THE FONT PROVE DEFECTIVE, YOU ASS…

12345678