search

cucapra / hbir

an intermediate representation for continuously reconfigurable hardware
https://capra.cs.cornell.edu/hbir/
MIT License
4 stars 0 forks source link

Expand test suite #12

Open sampsyo opened 5 years ago

sampsyo commented 5 years ago

We should probably have a little test suite! Even if we just started by validating that a small set of programs (like our current examples/ directory) compiled without errors, even without checking the compiled code, that would be better than the status quo. :smiley:

It probably makes the most sense to distinguish between examples, which are human-legible programs meant to actually demonstrate useful concepts, and tests, which are trivial programs that just check the correctness of the compiler. The examples directory can go outside of the lotus directory.

sampsyo commented 5 years ago

We now have tests working with Turnt, in general! A few more basic tests would be awesome to get a little more coverage.