package qcheck-ounit
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
On This Page
  
  
  OUnit backend for QCheck
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
  
    
      v0.27.tar.gz
    
    
        
    
  
  
  
    
  
  
    
  
        md5=dd6df3f9b934567e4b1292a183af0554
    
    
  sha512=8269cd3f4f73f9b62292c0288b430092ae0572682c167dc31d6837cbc833b8a5db66448768f8b88994ae94385c45cda489edcbdd4674f230b2e62527b1b744ac
    
    
  Description
QCheck is a QuickCheck inspired property-based testing library for OCaml.
The qcheck-ounit library provides an integration layer for QCheck onto
https://github.com/gildor478/ounit[OUnit], allowing to run property-based
tests in OUnit.
Dependencies (5)
- 
  
    ocaml
  
  
    
>= "4.08.0" - ounit2
 - 
  
    qcheck-core
  
  
    
= version - base-unix
 - 
  
    dune
  
  
    
>= "2.8.0" 
Dev Dependencies (1)
- 
  
    odoc
  
  
    
with-doc 
Used by (4)
- 
  
    goblint
  
  
    
>= "2.0.0" - 
  
    oseq
  
  
    
= "0.3" - ppx_viewpattern
 - 
  
    qcheck
  
  
    
>= "0.27" 
Conflicts
None
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
  On This Page