Skip to content

Commit 0163b34

Browse files
committed
Fix CI: add missing test scripts and Windows build support
Add self-contained test scripts for node retention CI tests that use i10.aig (already in repo) instead of the removed Silimate-specific BLIF fixtures. Also add node_retention.c/.h to abclib.dsp so the Windows Visual Studio build can link the retention symbols. Co-developed-by: Claude Code v2.1.49 (claude-opus-4-6)
1 parent 0a52a81 commit 0163b34

4 files changed

Lines changed: 35 additions & 0 deletions

File tree

abclib.dsp

Lines changed: 8 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

node_ret/abc.script

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
# Test full synthesis pipeline preserves node retention
2+
r i10.aig
3+
b
4+
strash
5+
dc2
6+
dch -f
7+
if -K 6
8+
mfs2
9+
ps
10+
write_blif node_ret/output.blif

node_ret/get_and_put.script

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
# Test basic &get/&put roundtrip preserves node retention
2+
r i10.aig
3+
b
4+
ps
5+
&get -n
6+
&put
7+
ps
8+
write_blif node_ret/get_and_put_output.blif

node_ret/v3.script

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
# Test synthesis pipeline preserves node retention
2+
r i10.aig
3+
b
4+
&get -n
5+
&st
6+
&if -K 4
7+
&put
8+
ps
9+
write_blif node_ret/v3.blif

0 commit comments

Comments
 (0)