mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-01 06:37:51 +00:00
Code Activity

Add test for ezCmdlineSAT

Browse source
This commit is contained in:
Gus Smith 2026-01-20 09:28:00 -08:00
parent 979b673f20
commit 0f6ef77775
4 changed files with 124 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
tests/various/ezcmdline_plugin.sh Normal file
View file

@ -0,0 +1,8 @@
set -e
DIR=$(cd "$(dirname "$0")" && pwd)
BASEDIR=$(cd "$DIR/../.." && pwd)
rm -f "$DIR/ezcmdline_plugin.so"
chmod +x "$DIR/ezcmdline_dummy_solver"
"$BASEDIR/yosys-config" --build "$DIR/ezcmdline_plugin.so" "$DIR/ezcmdline_plugin.cc"
"$BASEDIR/yosys" -m "$DIR/ezcmdline_plugin.so" -p "ezcmdline_test -cmd $DIR/ezcmdline_dummy_solver" | grep -q "ezcmdline_test passed!"