Skip to content

Commit d4ff113

Browse files
masinagmasinag
committed
Add aig files for testing
1 parent df39303 commit d4ff113

7 files changed

+79
-0
lines changed

‎tests/aig/mutex_converted.aig

+55
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,55 @@
1+
aig 510 5 4 1 501
2+
169
3+
313
4+
475
5+
715
6+
1020
7+

8+
 "-/+-;2<4>> ? ;F
9+
G
10+
BPLZ V&egcldnn o kv
11+
w
12+
r�|� �����2�h� ���
13+
�
14+
���
15+
�
16+
������������8�>�� ����
17+
�
18+
��� ��� � ��
19+
�
20+
������8�>�D�J� ���
21+
�
22+
��� ��
23+
�
24+
���� �������
25+
�
26+
��� ��
27+
�
28+
���� ��,�2�h�n�� ����
29+
�
30+
��� ���� �&�,������ � ����� �������� � ����������� � ����� �D�J������ � ������ ����� � ������������ � ������ �J�t����������������
31+
�
32+
���
33+
�
34+
�������������
35+
�
36+
���
37+
�
38+
��������,�2�h�n������ � ��
39+
�
40+
���� �&����� � ��
41+
�
42+
���� ������
43+
�
44+
��� ��� � ��
45+
�
46+
����2�8�h��i0 nondet00
47+
i1 x'17
48+
i2 x'19
49+
i3 y'21
50+
i4 y'23
51+
l0 x16
52+
l1 x18
53+
l2 y20
54+
l3 y22
55+
o0 invalid_transition

‎tests/aig/test1.aig

+10
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
aig 4 1 2 1 1
2+
9 0
3+
2 1
4+
9
5+
i0 ap1
6+
l0 y
7+
l1 z
8+
o0 x
9+
c
10+
PZap1

‎tests/aig/test2.aig

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
aig 2 1 0 1 0
2+
3
3+
i0 ap1
4+
o0 x
5+
c
6+
~ap1

‎tests/aig/test_degenerate1.aig

+2
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
aig 0 0 0 1 0
2+
0

‎tests/aig/test_degenerate2.aig

+2
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
aig 0 0 0 1 0
2+
1

‎tests/aig/test_degenerate3.aig

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
aig 0 0 0 0 0

‎tests/aig/test_degenerate4.aig

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
aig 0 0 0 2 0
2+
0
3+
0

0 commit comments

Comments
 (0)