]> git.codecow.com Git - Monocypher.git/commit
projects / Monocypher.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca9a38d) | patch
Corrected formal analysis setup script
authorLoup Vaillant <loup@loup-vaillant.fr>
Sun, 17 Jun 2018 17:13:39 +0000 (19:13 +0200)
committerLoup Vaillant <loup@loup-vaillant.fr>
Sun, 17 Jun 2018 17:13:39 +0000 (19:13 +0200)
commitf34934db3fd60e69de7044d485458e25dd9e5fa7
treeb7ad177de1ac5c3b17694d30df1fa3278e7a7c4ctree | snapshot
parentca9a38d1047f72c2e95611cedff5e23e8a080f31commit | diff
Corrected formal analysis setup script

The script did not create the right directory, so the files didn't copy
properly.
tests/formal-analysis.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.