File tree Expand file tree Collapse file tree 5 files changed +53
-5
lines changed Expand file tree Collapse file tree 5 files changed +53
-5
lines changed Original file line number Diff line number Diff line change 1+ # This file is generated by dune, edit dune-project instead
2+ opam-version: "2.0"
3+ synopsis: "Traced Atomics"
4+ maintainer: ["Sadiq Jaffer"]
5+ authors: ["Sadiq Jaffer"]
6+ homepage: "https://github.com/sadiqj/dscheck"
7+ bug-reports: "https://github.com/sadiqj/dscheck/issues"
8+ depends: [
9+ "ocaml" {>= "5.0.0"}
10+ "dune" {>= "2.9"}
11+ "containers"
12+ "oseq"
13+ "odoc" {with-doc}
14+ ]
15+ build: [
16+ ["dune" "subst"] {dev}
17+ [
18+ "dune"
19+ "build"
20+ "-p"
21+ name
22+ "-j"
23+ jobs
24+ "--promote-install-files=false"
25+ "@install"
26+ "@runtest" {with-test}
27+ "@doc" {with-doc}
28+ ]
29+ ["dune" "install" "-p" name "--create-install-files" name]
30+ ]
31+ dev-repo: "git+https://github.com/sadiqj/dscheck.git"
Original file line number Diff line number Diff line change 11(lang dune 2 .9)
2+
3+ ( generate_opam_files true )
4+
5+ (name dscheck)
6+ ( source ( github sadiqj/dscheck) )
7+ ( authors " Sadiq Jaffer" )
8+ ( maintainers " Sadiq Jaffer" )
9+
10+ ( package
11+ (name dscheck)
12+ (synopsis " Traced Atomics" )
13+ ( depends ( ocaml ( >= 5 .0.0) ) dune containers oseq) )
14+
Original file line number Diff line number Diff line change 1- (executable
2- (libraries containers oseq )
3- (name test_atomics ))
1+ (library
2+ (public_name dscheck )
3+ (libraries containers oseq ))
Original file line number Diff line number Diff line change 1+ (executable
2+ (name test_list)
3+ (modules test_list)
4+ (libraries dscheck))
Original file line number Diff line number Diff line change 1- module Atomic = TracedAtomic
1+ module Atomic = Dscheck. TracedAtomic
22
33(* a simple concurrent list *)
44
@@ -44,4 +44,4 @@ let create_test upto () =
4444 )
4545
4646let () =
47- Atomic. trace (create_test 8 )
47+ Atomic. trace (create_test 8 )
You can’t perform that action at this time.
0 commit comments