search

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography
MIT License
271 stars 55 forks source link

Do not ignore test subdirectories #825

Closed eponier closed 5 months ago

eponier commented 5 months ago

Make sure all the subdirectories are tested. Also renames some template files into *.jinc. Before the rename, they were tested in isolation while they do not make sense alone.

Fixes https://github.com/jasmin-lang/jasmin/issues/823

eponier commented 5 months ago

The PR is a draft since the newly tested files are broken, so this PR depends on the fix of the tests.

eponier commented 5 months ago

New implementation on top of https://github.com/jasmin-lang/jasmin/pull/820. ! was removed. We are now recursive by default (i.e. when we give a path, we test the files in all the subdirs of this path).

eponier commented 5 months ago

We now run jasminc on examples/gimli/x86-64/ecproof/gimli_ref{,1}.jazz, is this what we want?

eponier commented 5 months ago

Undrafting, since https://github.com/jasmin-lang/jasmin/pull/832 was merged.