search

jobjo / popper

Property-based testing at ease
ISC License
43 stars 1 forks source link

Derive comparator #12

Closed jobjo closed 3 years ago

jobjo commented 3 years ago

Deriving popper now also generates comparators.

An example of using a derived comparator.

open Popper
open Generator.Syntax

type t =
  { x_values : int list
  ; y_values : int list
  ; x_axis : string
  ; y_axis : string
  }
[@@deriving show, eq, popper]

let flip { x_values; y_values; x_axis; y_axis } =
  { x_values = y_values; y_values = x_values; x_axis = y_axis; y_axis = x_axis }

let test_flip_twice =
  Test.test (fun () ->
    let* s = generate in
    Test.equal comparator (flip (flip s)) s)

let suite = Test.suite [ ("Flip chart", test_flip) ]