adding testcases

.gitignore

@@ -159,8 +159,4 @@ cython_debug/
 #  be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
 #  and can be added to the global gitignore or merged into this file.  For a more nuclear
 #  option (not recommended) you can uncomment the following to ignore the entire idea folder.
-#.idea/
-
-
-
-test
+#.idea/

test/c17.bench

@@ -0,0 +1,211 @@
+# c432
+# 36 inputs
+# 7 outputs
+# 40 inverters
+# 120 gates ( 4 ANDs + 119 NANDs + 19 NORs + 18 XORs )
+
+INPUT(1)
+INPUT(4)
+INPUT(8)
+INPUT(11)
+INPUT(14)
+INPUT(17)
+INPUT(21)
+INPUT(24)
+INPUT(27)
+INPUT(30)
+INPUT(34)
+INPUT(37)
+INPUT(40)
+INPUT(43)
+INPUT(47)
+INPUT(50)
+INPUT(53)
+INPUT(56)
+INPUT(60)
+INPUT(63)
+INPUT(66)
+INPUT(69)
+INPUT(73)
+INPUT(76)
+INPUT(79)
+INPUT(82)
+INPUT(86)
+INPUT(89)
+INPUT(92)
+INPUT(95)
+INPUT(99)
+INPUT(102)
+INPUT(105)
+INPUT(108)
+INPUT(112)
+INPUT(115)
+
+OUTPUT(223)
+OUTPUT(329)
+OUTPUT(370)
+OUTPUT(421)
+OUTPUT(430)
+OUTPUT(431)
+OUTPUT(432)
+
+118 = NOT(1)
+119 = NOT(4)
+122 = NOT(11)
+123 = NOT(17)
+126 = NOT(24)
+127 = NOT(30)
+130 = NOT(37)
+131 = NOT(43)
+134 = NOT(50)
+135 = NOT(56)
+138 = NOT(63)
+139 = NOT(69)
+142 = NOT(76)
+143 = NOT(82)
+146 = NOT(89)
+147 = NOT(95)
+150 = NOT(102)
+151 = NOT(108)
+154 = NAND(118, 4)
+157 = NOR(8, 119)
+158 = NOR(14, 119)
+159 = NAND(122, 17)
+162 = NAND(126, 30)
+165 = NAND(130, 43)
+168 = NAND(134, 56)
+171 = NAND(138, 69)
+174 = NAND(142, 82)
+177 = NAND(146, 95)
+180 = NAND(150, 108)
+183 = NOR(21, 123)
+184 = NOR(27, 123)
+185 = NOR(34, 127)
+186 = NOR(40, 127)
+187 = NOR(47, 131)
+188 = NOR(53, 131)
+189 = NOR(60, 135)
+190 = NOR(66, 135)
+191 = NOR(73, 139)
+192 = NOR(79, 139)
+193 = NOR(86, 143)
+194 = NOR(92, 143)
+195 = NOR(99, 147)
+196 = NOR(105, 147)
+197 = NOR(112, 151)
+198 = NOR(115, 151)
+199 = AND(154, 159, 162, 165, 168, 171, 174, 177, 180)
+203 = NOT(199)
+213 = NOT(199)
+223 = NOT(199)
+224 = XOR(203, 154)
+227 = XOR(203, 159)
+230 = XOR(203, 162)
+233 = XOR(203, 165)
+236 = XOR(203, 168)
+239 = XOR(203, 171)
+242 = NAND(1, 213)
+243 = XOR(203, 174)
+246 = NAND(213, 11)
+247 = XOR(203, 177)
+250 = NAND(213, 24)
+251 = XOR(203, 180)
+254 = NAND(213, 37)
+255 = NAND(213, 50)
+256 = NAND(213, 63)
+257 = NAND(213, 76)
+258 = NAND(213, 89)
+259 = NAND(213, 102)
+260 = NAND(224, 157)
+263 = NAND(224, 158)
+264 = NAND(227, 183)
+267 = NAND(230, 185)
+270 = NAND(233, 187)
+273 = NAND(236, 189)
+276 = NAND(239, 191)
+279 = NAND(243, 193)
+282 = NAND(247, 195)
+285 = NAND(251, 197)
+288 = NAND(227, 184)
+289 = NAND(230, 186)
+290 = NAND(233, 188)
+291 = NAND(236, 190)
+292 = NAND(239, 192)
+293 = NAND(243, 194)
+294 = NAND(247, 196)
+295 = NAND(251, 198)
+296 = AND(260, 264, 267, 270, 273, 276, 279, 282, 285)
+300 = NOT(263)
+301 = NOT(288)
+302 = NOT(289)
+303 = NOT(290)
+304 = NOT(291)
+305 = NOT(292)
+306 = NOT(293)
+307 = NOT(294)
+308 = NOT(295)
+309 = NOT(296)
+319 = NOT(296)
+329 = NOT(296)
+330 = XOR(309, 260)
+331 = XOR(309, 264)
+332 = XOR(309, 267)
+333 = XOR(309, 270)
+334 = NAND(8, 319)
+335 = XOR(309, 273)
+336 = NAND(319, 21)
+337 = XOR(309, 276)
+338 = NAND(319, 34)
+339 = XOR(309, 279)
+340 = NAND(319, 47)
+341 = XOR(309, 282)
+342 = NAND(319, 60)
+343 = XOR(309, 285)
+344 = NAND(319, 73)
+345 = NAND(319, 86)
+346 = NAND(319, 99)
+347 = NAND(319, 112)
+348 = NAND(330, 300)
+349 = NAND(331, 301)
+350 = NAND(332, 302)
+351 = NAND(333, 303)
+352 = NAND(335, 304)
+353 = NAND(337, 305)
+354 = NAND(339, 306)
+355 = NAND(341, 307)
+356 = NAND(343, 308)
+357 = AND(348, 349, 350, 351, 352, 353, 354, 355, 356)
+360 = NOT(357)
+370 = NOT(357)
+371 = NAND(14, 360)
+372 = NAND(360, 27)
+373 = NAND(360, 40)
+374 = NAND(360, 53)
+375 = NAND(360, 66)
+376 = NAND(360, 79)
+377 = NAND(360, 92)
+378 = NAND(360, 105)
+379 = NAND(360, 115)
+380 = NAND(4, 242, 334, 371)
+381 = NAND(246, 336, 372, 17)
+386 = NAND(250, 338, 373, 30)
+393 = NAND(254, 340, 374, 43)
+399 = NAND(255, 342, 375, 56)
+404 = NAND(256, 344, 376, 69)
+407 = NAND(257, 345, 377, 82)
+411 = NAND(258, 346, 378, 95)
+414 = NAND(259, 347, 379, 108)
+415 = NOT(380)
+416 = AND(381, 386, 393, 399, 404, 407, 411, 414)
+417 = NOT(393)
+418 = NOT(404)
+419 = NOT(407)
+420 = NOT(411)
+421 = NOR(415, 416)
+422 = NAND(386, 417)
+425 = NAND(386, 393, 418, 399)
+428 = NAND(399, 393, 419)
+429 = NAND(386, 393, 407, 420)
+430 = NAND(381, 386, 422, 399)
+431 = NAND(381, 386, 425, 428)
+432 = NAND(381, 422, 425, 429)

test/s27.bench

@@ -0,0 +1,42 @@
+# Automatically generated. Do not modify.
+INPUT(GND)
+INPUT(VDD)
+INPUT(CK)
+INPUT(reset)
+INPUT(G0)
+INPUT(G1)
+OUTPUT(G17)
+INPUT(G2)
+INPUT(G3)
+INPUT(_20_)
+OUTPUT(_20_.d)
+INPUT(_21_)
+OUTPUT(_21_.d)
+INPUT(_22_)
+OUTPUT(_22_.d)
+_03_ = NOT(G0)
+_04_ = NOT(DFF_0.Q)
+_00_ = NOT(reset)
+_11_.0.0 = OR(G1 , DFF_2.Q)
+_05_ = NOT(_11_.0.0)
+_06_ = AND(G3 , _05_)
+_13_.1.0 = AND(_03_ , DFF_1.Q)
+_13_.1.1 = AND(G3 , _05_)
+_13_.0.0 = OR(_13_.1.0 , _13_.1.1)
+_07_ = NOT(_13_.0.0)
+_14_.0.0 = OR(DFF_0.Q , _07_)
+DFF_1.D = NOT(_14_.0.0)
+G17 = OR(DFF_0.Q , _07_)
+_16_.1.0 = AND(_04_ , _06_)
+_16_.0.0 = OR(_16_.1.0 , _03_)
+DFF_0.D = NOT(_16_.0.0)
+_17_.0.0 = OR(G2 , _05_)
+DFF_2.D = NOT(_17_.0.0)
+_01_ = NOT(reset)
+_02_ = NOT(reset)
+DFF_0.Q = BUFF(_20_)
+_20_.d = BUFF(DFF_0.D)
+DFF_1.Q = BUFF(_21_)
+_21_.d = BUFF(DFF_1.D)
+DFF_2.Q = BUFF(_22_)
+_22_.d = BUFF(DFF_2.D)