package info (click to toggle)
ocaml-dscheck 0.5.0-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 292 kB
  • sloc: ml: 1,290; sh: 6; makefile: 3

Folder: tests

d .. (parent)
d d rwxr-xr-x 4,096 traces
- - rw-r--r-- 1,428 dune
- - rw-r--r-- 12,003 gen_program.ml
- - rw-r--r-- 2,279 michael_scott_queue.ml
- - rw-r--r-- 531 report_trace.expected
- - rw-r--r-- 1,230 test_commutative.ml
- - rw-r--r-- 610 test_conditional_nested.ml
- - rw-r--r-- 890 test_conditional_ssb.ml
- - rw-r--r-- 460 test_hb.ml
- - rw-r--r-- 1,989 test_list.ml
- - rw-r--r-- 1,122 test_michael_scott_queue.ml
- - rw-r--r-- 734 test_naive_counter.ml
- - rw-r--r-- 501 test_trace.ml