Add missing script to 'backends'

d40d6d5d · SergeyDegtyar · 6b3ff629 · d40d6d5d
Commit d40d6d5d authored Jul 17, 2019 by SergeyDegtyar
Show whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

backends/scripts/write_btor_no_driver.ys
+3 -0

No files found.
--- a/backends/scripts/write_btor_no_driver.ys
+++ b/backends/scripts/write_btor_no_driver.ys
+read_verilog ../top.v
+memory
+write_btor btor.btor