cucapra / hbir

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

Execute tests on F1 #20

Open sampsyo opened 5 years ago

sampsyo commented 5 years ago

I'm interested in building some Turnt-based infrastructure for actually executing test programs (rather than just compiling them). This would work by using Chazz to send compiled C code to the server and to run commands there to compile and execute it, then collect results to check the outputs.