mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-06 01:24:10 +00:00
6 lines
305 B
Bash
Executable file
6 lines
305 B
Bash
Executable file
#!/bin/bash
|
|
set -ex
|
|
../../yosys -q -p 'read_verilog -formal smtlib2_module.v; prep; write_smt2 smtlib2_module.smt2'
|
|
sed -i 's/; SMT-LIBv2 description generated by Yosys .*/; SMT-LIBv2 description generated by Yosys $VERSION/' smtlib2_module.smt2
|
|
diff -auN smtlib2_module-expected.smt2 smtlib2_module.smt2
|