package frama-c-lannotate
Lannotate plugin of Frama-C, part of the LTest suite
Install
Dune Dependency
Authors
Maintainers
Sources
lannotate-0.2.4.tar.bz2
md5=a84542f799911d0c64e1db10be0f150e
sha512=dab4b833f3ac6d449f2ebbf7ac054f247c9f86d86acad14b78267c4719a6943f59a21be64c28d81baabf155948d335af1c41ab0ce44e96214bb6da4693705e15
doc/src/frama-c-lannotate.core/lannotate.ml.html
Source file lannotate.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22(**************************************************************************) (* *) (* This file is part of the Frama-C's Lannotate plug-in. *) (* *) (* Copyright (C) 2012-2025 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) (* you can redistribute it and/or modify it under the terms of the GNU *) (* Lesser General Public License as published by the Free Software *) (* Foundation, version 2.1. *) (* *) (* It is distributed in the hope that it will be useful, *) (* but WITHOUT ANY WARRANTY; without even the implied warranty of *) (* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) (* GNU Lesser General Public License for more details. *) (* *) (* See the GNU Lesser General Public License version 2.1 *) (* for more details (enclosed in the file LICENSE) *) (* *) (**************************************************************************)