]> git.codecow.com Git - Monocypher.git/commit
Modified tests to be Frama-C friendly (no input)
authorLoup Vaillant <loup@loup-vaillant.fr>
Mon, 5 Jun 2017 21:02:10 +0000 (23:02 +0200)
committerLoup Vaillant <loup@loup-vaillant.fr>
Mon, 5 Jun 2017 21:02:10 +0000 (23:02 +0200)
commitcd5f1f0af31acf74b486c3f6ef8034568048c835
tree71034e8f7a50a19e9ac38423e22069391a25750f
parent5d5621c815bb21ffd03ce50f27eada1b56d8df39
Modified tests to be Frama-C friendly (no input)
makefile
tests/test.c
tests/vector_to_header.c [new file with mode: 0644]
tests/vectors/test_diff [deleted file]
tests/vectors/test_equal [deleted file]
tests/vectors/v_sha512 [moved from tests/vectors/sha512 with 100% similarity]