package goblint-cil

  1. Overview
  2. Docs

Source file cilversion.ml

1
2
3
4
5
6
(* src/cilversion.ml.  Generated from cilversion.ml.in by configure. *)

let cilVersionMajor = 1
let cilVersionMinor = 8
let cilVersionRev   = 2
let cilVersion      = "1.8.2"