mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-12-18 18:28:35 +00:00
Code Activity

tests/aiger: Compare .aag outputs against known

Browse source 
Any files that differ (e.g. due to compiler order of operations changing) will trigger an error.
This commit is contained in:
Krystine Sherwin 2025-12-02 14:03:12 +13:00
parent 9ec361beab
commit e2e7922756
No known key found for this signature in database
2 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tests/aiger/.gitignore vendored
View file

@ -1,2 +1,3 @@
/*_ref.v /*_ref.v
/neg.out/ /neg.out/
/gate/

6
tests/aiger/run-test.sh
View file

@ -57,3 +57,9 @@ for y in *.ys; do
echo "Running $y." echo "Running $y."
../../yosys -ql ${y%.*}.log $y ../../yosys -ql ${y%.*}.log $y
done done
# compare aigmap with reference
# make gold with: rm gold/*; yosys --no-version -p "test_cell -aigmap -w gold/ -n 1 -s 1 all"
rm -rf gate; mkdir gate
../../yosys --no-version -p "test_cell -aigmap -w gate/ -n 1 -s 1 all"
diff --brief gold gate | tee aigmap.err