Skip to content
Snippets Groups Projects
Commit a9c34568 authored by Michele Alberti's avatar Michele Alberti
Browse files

[dune] Better synopsis of the project.

parent 4f119fff
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
caisar.opam
+ 1
− 1
View file @ a9c34568
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
opam-version: "2.0" opam-version: "2.0"
version: "0.1" version: "0.1"
synopsis: synopsis:
"Platform for characterizing the safety and robustness of artificial intelligence based software" "A platform for characterizing the safety and robustness of artificial intelligence based software"
maintainer: [ maintainer: [
"LAISER team, Software Safety and Security Laboratory, CEA-List" "LAISER team, Software Safety and Security Laboratory, CEA-List"
] ]
......
dune-project
+ 1
− 1
View file @ a9c34568
...@@ -53,7 +53,7 @@ ...@@ -53,7 +53,7 @@
(package (package
(name caisar) (name caisar)
(synopsis "Platform for characterizing the safety and robustness of artificial intelligence based software") (synopsis "A platform for characterizing the safety and robustness of artificial intelligence based software")
(depends (depends
(ocaml (>= 4.13.0)) (ocaml (>= 4.13.0))
(dune-site (= 2.9.0)) (dune-site (= 2.9.0))
......
src/main.ml
+ 1
− 1
View file @ a9c34568
...@@ -185,7 +185,7 @@ let verify_cmd = ...@@ -185,7 +185,7 @@ let verify_cmd =
let default_cmd = let default_cmd =
let doc = let doc =
"Platform for characterizing the safety and robustness of artificial \ "A platform for characterizing the safety and robustness of artificial \
intelligence based software." intelligence based software."
in in
let sdocs = Manpage.s_common_options in let sdocs = Manpage.s_common_options in
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment