path: root/tests/xsthammer/README
diff options
Diffstat (limited to 'tests/xsthammer/README')
1 files changed, 0 insertions, 14 deletions
diff --git a/tests/xsthammer/README b/tests/xsthammer/README
deleted file mode 100644
index 3f1b198d..00000000
--- a/tests/xsthammer/README
+++ /dev/null
@@ -1,14 +0,0 @@
- ================================
- This is work under construction!
- ================================
-This is going to be a collection of auto-generated test cases. The goal is
-to synthesize them with Yosys and Xilinx XST and perform formal equivialence
-checks using the Yosys SAT-based equivialence checker. This will hopefully
-reveal some bugs in both applications.. ;-)
-Simply run 'make' to generate all test cases and run all the tests.
-(Use 'make -j N' to use N parallel cores.)