search

jasmin-lang / jasmin

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

SCT checker: negative tests #819

Closed vbgl closed 6 months ago

vbgl commented 6 months ago

Small additions to the test-suite of the SCT checker.