search

FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

introduce tests/krml with karamel unit tests #3417

Closed mtzguido closed 2 months ago

mtzguido commented 2 months ago

While we have some tests around, enabled on CI, there is no easy way to add small tests and check against expected output. Hence this new directory.

mtzguido commented 2 months ago

Actually, this is a bad idea since it will become a pain to update F* and karamel in sync. Karamel already has unit tests, maybe we can add a case to compare output there.