mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-29 03:45:52 +00:00
Code Activity

tests: use /usr/bin/env for bash.

Browse source
This commit is contained in:
Charlotte 2023-08-12 11:59:39 +10:00
parent 860e3e4056
commit d130f7fca2
56 changed files with 56 additions and 56 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/various/smtlib2_module.sh
View file

@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
set -ex
../../yosys -q -p 'read_verilog -formal smtlib2_module.v; prep; write_smt2 smtlib2_module.smt2'
sed 's/; SMT-LIBv2 description generated by Yosys .*/; SMT-LIBv2 description generated by Yosys $VERSION/;s/ *$//' smtlib2_module.smt2 > smtlib2_module-filtered.smt2