-
Notifications
You must be signed in to change notification settings - Fork 15
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CP-47001: [xapi-fd-test]: dune plumbing for a new test framework
This will be a test framework providing QCheck generators and properties for testing file descriptor operations. It will try to generate: * different kinds of file descriptors * actual data written/read on the other end of pipes and socket pairs * different speeds and delays on the other end to find buffering bugs * file descriptors that are >1024 to find bugs with select Signed-off-by: Edwin Török <[email protected]>
- Loading branch information
1 parent
6f655c1
commit 6ec758d
Showing
7 changed files
with
63 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,6 @@ | ||
; This will be used to test stdext itself, so do not depend on stdext here | ||
(library | ||
(public_name xapi-fd-test) | ||
(name xapi_fd_test) | ||
(libraries xapi-fdcaps unix qcheck-core logs fmt mtime mtime.clock.os) | ||
) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,6 @@ | ||
; This is a test framework, but we still need to test it | ||
(test | ||
(package xapi-fd-test) | ||
(name test_xapi_fd_test) | ||
(libraries xapi_fd_test alcotest) | ||
) |
Empty file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,33 @@ | ||
# This file is generated by dune, edit dune-project instead | ||
opam-version: "2.0" | ||
synopsis: "Test framework for file descriptor operations" | ||
maintainer: ["Xapi project maintainers"] | ||
authors: ["Jonathan Ludlam"] | ||
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" | ||
homepage: "https://github.com/xapi-project/stdext" | ||
bug-reports: "https://github.com/xapi-project/stdext/issues" | ||
depends: [ | ||
"dune" {>= "2.7"} | ||
"alcotest" {with-test} | ||
"base-unix" | ||
"fmt" | ||
"mtime" {>= "2.0.0"} | ||
"logs" | ||
"qcheck-core" {>= "0.21.2"} | ||
"odoc" {with-doc} | ||
] | ||
build: [ | ||
["dune" "subst"] {dev} | ||
[ | ||
"dune" | ||
"build" | ||
"-p" | ||
name | ||
"-j" | ||
jobs | ||
"@install" | ||
"@runtest" {with-test} | ||
"@doc" {with-doc} | ||
] | ||
] | ||
dev-repo: "git+https://github.com/xapi-project/stdext.git" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters