Home
last modified time | relevance | path

Searched refs:prove (Results 1 – 25 of 38) sorted by relevance

12

/src/share/doc/pjdfstest/
H A DREADME3 (kyua work directory), with a specific filesystem path, and with prove(1).
32 Method 3. Executing pjdfstest with prove
39 % prove -rv /usr/tests/sys/pjdfstest/chmod/00
/src/tools/regression/
H A DREADME51 port. This includes the prove(1) command which is used to run the tests
54 prove geom_concat # run all the tests in geom_concat
55 prove -r lib # run all tests in lib/, and subdirectories
56 prove -r -v lib # as above, with verbose output
57 prove -r # run *all* the tests
/src/tools/tools/shlib-compat/test/
H A DMakefile13 prove: all target
14 prove ${.CURDIR}
/src/usr.bin/bmake/tests/
H A DREADME10 The tests are invoked via the test.sh script or prove(1) from p5-Test-Harness.
38 the test was ok or not in the format used by prove(1).
52 prove - Run setup, run, compare and clean. This is identically
63 To invoke it via prove(1) use:
65 % [MAKE_PROG=path_to_make_binary] prove [options] [files/directories]
69 % MAKE_PROG=/usr/obj/usr/src/usr.bin/make/make prove -r
H A Dcommon.sh487 set -- prove
/src/contrib/pjdfstest/travis/
H A Dtest.sh29 sudo prove -rv .
/src/contrib/libyaml/docker/
H A Dfedora-255 # NOTE(sigmavirus24): We need "perl-core" here for the "prove" binary
/src/tools/regression/capsicum/syscalls/
H A DMakefile23 @prove -r ${.CURDIR}
/src/contrib/pjdfstest/
H A DREADME57 # prove -rv /path/to/pjdfstest/tests
/src/sys/contrib/zstd/programs/
H A Dzstdgrep.1.md17 and can prove better alternatives than `zstdgrep` notably for unsupported complex pattern searches.
/src/usr.bin/ministat/
H A DREADME27 prove something if many more measurements are made, but with only five
/src/crypto/openssh/
H A DPROTOCOL368 and "hostkeys-prove-00@openssh.com"
386 it should send a "hostkeys-prove@openssh.com" message to request the
387 server prove ownership of the private half of the key.
390 string "hostkeys-prove-00@openssh.com"
397 string "hostkeys-prove-00@openssh.com"
H A DPROTOCOL.u2f20 mechanism at key enrollment time that can be used to prove that a
144 that may be used to cryptographically prove that a given key is
/src/contrib/pam-krb5/tests/
H A DREADME102 prove command can run TAP tests written in other languages using, for
104 you wish, use the library that comes with C TAP Harness but use prove
/src/crypto/heimdal/doc/
H A Dwhatis.texi64 In Kerberos, principals use @dfn{tickets} to prove that they are who
H A Dhx509.texi454 a certificate signing request (CSR). To prove the user have the key,
/src/crypto/openssl/doc/man7/
H A Dopenssl-quic-concurrency.pod98 However, it may still prove a good solution for a broad class of applications
/src/crypto/openssl/doc/designs/ddd/
H A DREPORT.md278 demonstrate and prove the viability of our API design with a real-world
/src/contrib/llvm-project/llvm/lib/Target/ARM/
H A DARMScheduleM7.td335 // but the results prove to be better than trying to get them exact.
/src/contrib/llvm-project/llvm/lib/Target/X86/
H A DX86InstrVecCompiler.td117 // any moves that we can prove are unnecessary.
/src/contrib/unbound/doc/
H A Drequirements.txt196 at no-data proof. It could be determined by attempting to prove
/src/contrib/bc/
H A DREADME.md318 may prove useful to any serious users.
/src/contrib/ntp/util/
H A Dntp-keygen-opts.def723 Trusted hosts prove identity using values provided by the TA,
724 while the remaining hosts prove identity using values provided
H A Dinvoke-ntp-keygen.texi457 Trusted hosts prove identity using values provided by the TA,
458 while the remaining hosts prove identity using values provided
/src/usr.sbin/cron/doc/
H A DMAIL70 This method would prove very helpful for those programs that get started

12