(**************************************************************************)
(*                                                                        *)
     Copyright 2019 INRIA                                                
(*                                                                        *)
(*  All rights reserved. This file is distributed under the terms of the  *)
   GNU Lesser General Public License version 2.1 , with the special       
(*  exception on linking described in the file LICENSE.                   *)
(*                                                                        *)
(**************************************************************************)

open OpamVersion
open! Crowbar
open OpamCrowbar

let version = choose [
    const current;
    const (major current);
    const current_nopatch;
    const (full ());
]

let check () =
  check_json_roundtrip ~name:"OpamVersion.t"
    version (eq_of_comp OpamVersion.compare) to_json of_json;

************************************************************************
                                                                        
                                                                        
  All rights reserved. This file is distributed under the terms of the  
  exception on linking described in the file LICENSE.                   
                                                                        
************************************************************************
     Copyright 2019 INRIA                                                
   GNU Lesser General Public License version 2.1 , with the special       

open OpamVersion
open! Crowbar
open OpamCrowbar

let version = choose [
    const current;
    const (major current);
    const current_nopatch;
    const (full ());
]

let check () =
  check_json_roundtrip ~name:"OpamVersion.t"
    version (eq_of_comp OpamVersion.compare) to_json of_json;
