From 8a98de09adf436cd94cbcf578f5b2dea7b8fa5ce Mon Sep 17 00:00:00 2001 From: zeme-wana <15709674+zeme-wana@users.noreply.github.com> Date: Thu, 5 Sep 2024 15:36:08 +0200 Subject: [PATCH] Re-enable failing CES tests (#6448) --- .../test/Transform/Simplify.hs | 2 +- .../test/Transform/cseExpensive.uplc.golden | 764 +++++++++--------- 2 files changed, 383 insertions(+), 383 deletions(-) diff --git a/plutus-core/untyped-plutus-core/test/Transform/Simplify.hs b/plutus-core/untyped-plutus-core/test/Transform/Simplify.hs index 1ff824d3ee3..e5b2e770e10 100644 --- a/plutus-core/untyped-plutus-core/test/Transform/Simplify.hs +++ b/plutus-core/untyped-plutus-core/test/Transform/Simplify.hs @@ -484,5 +484,5 @@ test_simplify = , goldenVsCse "cse1" cse1 , goldenVsCse "cse2" cse2 , goldenVsCse "cse3" cse3 - -- , goldenVsCse "cseExpensive" cseExpensive + , goldenVsCse "cseExpensive" cseExpensive ] diff --git a/plutus-core/untyped-plutus-core/test/Transform/cseExpensive.uplc.golden b/plutus-core/untyped-plutus-core/test/Transform/cseExpensive.uplc.golden index c098977a6ad..79b6fe2109c 100644 --- a/plutus-core/untyped-plutus-core/test/Transform/cseExpensive.uplc.golden +++ b/plutus-core/untyped-plutus-core/test/Transform/cseExpensive.uplc.golden @@ -605,565 +605,565 @@ cse) cse)) (addInteger - 364 - 365)) + 4 + 5)) (addInteger - 4 - 5)) + 30 + 31)) (addInteger - 236 - 237)) + 132 + 133)) (addInteger - 108 - 109)) + 358 + 359)) (addInteger - 388 - 389)) + 182 + 183)) (addInteger - 260 - 261)) + 340 + 341)) (addInteger - 132 - 133)) + 342 + 343)) (addInteger - 62 - 63)) + 128 + 129)) (addInteger - 82 - 83)) + 126 + 127)) (addInteger - 358 - 359)) + 18 + 19)) (addInteger - 318 - 319)) + 264 + 265)) (addInteger - 338 - 339)) + 260 + 261)) (addInteger - 230 - 231)) + 174 + 175)) (addInteger - 190 - 191)) + 6 + 7)) (addInteger - 210 - 211)) + 370 + 371)) (addInteger - 102 - 103)) + 190 + 191)) (addInteger - 240 - 241)) + 72 + 73)) (addInteger - 112 - 113)) + 24 + 25)) (addInteger - 304 - 305)) + 44 + 45)) (addInteger - 176 - 177)) + 336 + 337)) (addInteger - 48 - 49)) + 138 + 139)) (addInteger - 368 - 369)) + 192 + 193)) (addInteger - 170 - 171)) + 278 + 279)) (addInteger - 42 - 43)) + 230 + 231)) (addInteger - 362 - 363)) + 74 + 75)) (addInteger - 234 - 235)) + 246 + 247)) (addInteger - 106 - 107)) + 292 + 293)) (addInteger - 298 - 299)) + 316 + 317)) (addInteger - 340 - 341)) + 388 + 389)) (addInteger - 300 - 301)) + 122 + 123)) (addInteger - 196 - 197)) + 102 + 103)) (addInteger - 156 - 157)) + 262 + 263)) (addInteger - 84 - 85)) + 62 + 63)) (addInteger - 44 - 45)) + 34 + 35)) (addInteger - 294 - 295)) + 352 + 353)) (addInteger - 274 - 275)) + 104 + 105)) (addInteger - 130 - 131)) + 362 + 363)) (addInteger - 38 - 39)) + 46 + 47)) (addInteger - 254 - 255)) + 344 + 345)) (addInteger - 18 - 19)) + 232 + 233)) (addInteger - 386 - 387)) + 328 + 329)) (addInteger - 344 - 345)) + 20 + 21)) (addInteger - 200 - 201)) + 378 + 379)) (addInteger - 392 - 393)) + 92 + 93)) (addInteger - 88 - 89)) + 268 + 269)) (addInteger - 280 - 281)) + 78 + 79)) (addInteger - 136 - 137)) + 286 + 287)) (addInteger - 24 - 25)) + 64 + 65)) (addInteger - 78 - 79)) + 2 + 3)) (addInteger - 270 - 271)) + 228 + 229)) (addInteger - 14 - 15)) + 172 + 173)) (addInteger - 334 - 335)) + 296 + 297)) (addInteger - 308 - 309)) + 86 + 87)) (addInteger - 20 - 21)) + 178 + 179)) (addInteger - 252 - 253)) + 244 + 245)) (addInteger - 124 - 125)) + 12 + 13)) (addInteger - 348 - 349)) + 392 + 393)) (addInteger - 148 - 149)) + 384 + 385)) (addInteger - 118 - 119)) + 134 + 135)) (addInteger - 302 - 303)) + 304 + 305)) (addInteger - 322 - 323)) + 54 + 55)) (addInteger - 282 - 283)) + 356 + 357)) (addInteger - 246 - 247)) + 150 + 151)) (addInteger - 128 - 129)) + 270 + 271)) (addInteger - 288 - 289)) + 28 + 29)) (addInteger - 0 - 1)) + 204 + 205)) (addInteger - 192 - 193)) + 222 + 223)) (addInteger - 352 - 353)) + 84 + 85)) (addInteger - 64 - 65)) + 320 + 321)) (addInteger - 186 - 187)) + 170 + 171)) (addInteger - 58 - 59)) + 200 + 201)) (addInteger - 342 - 343)) + 306 + 307)) (addInteger - 250 - 251)) + 152 + 153)) (addInteger - 122 - 123)) + 186 + 187)) (addInteger - 278 - 279)) + 272 + 273)) (addInteger - 396 - 397)) + 58 + 59)) (addInteger - 324 - 325)) + 52 + 53)) (addInteger - 284 - 285)) + 290 + 291)) (addInteger - 212 - 213)) + 32 + 33)) (addInteger - 172 - 173)) + 364 + 365)) (addInteger - 100 - 101)) + 14 + 15)) (addInteger - 60 - 61)) + 110 + 111)) (addInteger - 258 - 259)) + 212 + 213)) (addInteger - 166 - 167)) + 208 + 209)) (addInteger - 382 - 383)) + 90 + 91)) (addInteger - 146 - 147)) + 252 + 253)) (addInteger - 54 - 55)) + 124 + 125)) (addInteger - 74 - 75)) + 216 + 217)) (addInteger - 40 - 41)) + 354 + 355)) (addInteger - 328 - 329)) + 146 + 147)) (addInteger - 216 - 217)) + 196 + 197)) (addInteger - 264 - 265)) + 236 + 237)) (addInteger - 104 - 105)) + 96 + 97)) (addInteger - 152 - 153)) + 332 + 333)) (addInteger - 206 - 207)) + 184 + 185)) (addInteger - 98 - 99)) + 106 + 107)) (addInteger - 94 - 95)) + 8 + 9)) (addInteger - 142 - 143)) + 22 + 23)) (addInteger - 34 - 35)) + 168 + 169)) (addInteger - 30 - 31)) + 98 + 99)) (addInteger - 204 - 205)) + 94 + 95)) (addInteger - 164 - 165)) + 390 + 391)) (addInteger - 76 - 77)) + 206 + 207)) (addInteger - 36 - 37)) + 10 + 11)) (addInteger - 332 - 333)) + 318 + 319)) (addInteger - 292 - 293)) + 108 + 109)) (addInteger - 394 - 395)) + 350 + 351)) (addInteger - 266 - 267)) + 256 + 257)) (addInteger - 138 - 139)) + 372 + 373)) (addInteger - 10 - 11)) + 386 + 387)) (addInteger - 80 - 81)) + 214 + 215)) (addInteger - 272 - 273)) + 156 + 157)) (addInteger - 144 - 145)) + 162 + 163)) (addInteger - 16 - 17)) + 300 + 301)) (addInteger - 336 - 337)) + 158 + 159)) (addInteger - 208 - 209)) + 284 + 285)) (addInteger - 400 - 401)) + 120 + 121)) (addInteger - 6 - 7)) + 382 + 383)) (addInteger - 326 - 327)) + 346 + 347)) (addInteger - 198 - 199)) + 298 + 299)) (addInteger - 390 - 391)) + 288 + 289)) (addInteger - 70 - 71)) + 166 + 167)) (addInteger - 262 - 263)) + 310 + 311)) (addInteger - 134 - 135)) + 68 + 69)) (addInteger - 268 - 269)) + 224 + 225)) (addInteger - 372 - 373)) + 250 + 251)) (addInteger - 12 - 13)) + 112 + 113)) (addInteger - 228 - 229)) + 188 + 189)) (addInteger - 188 - 189)) + 116 + 117)) (addInteger - 116 - 117)) + 164 + 165)) (addInteger - 366 - 367)) + 118 + 119)) (addInteger - 182 - 183)) + 16 + 17)) (addInteger - 346 - 347)) + 376 + 377)) (addInteger - 202 - 203)) + 282 + 283)) (addInteger - 110 - 111)) + 220 + 221)) (addInteger - 90 - 91)) + 100 + 101)) (addInteger - 56 - 57)) + 234 + 235)) (addInteger - 376 - 377)) + 60 + 61)) (addInteger - 232 - 233)) + 88 + 89)) (addInteger - 120 - 121)) + 240 + 241)) (addInteger - 312 - 313)) + 242 + 243)) (addInteger - 168 - 169)) + 40 + 41)) (addInteger - 226 - 227)) + 56 + 57)) (addInteger - 222 - 223)) + 26 + 27)) (addInteger - 114 - 115)) + 140 + 141)) (addInteger - 306 - 307)) + 312 + 313)) (addInteger - 162 - 163)) + 326 + 327)) (addInteger - 158 - 159)) + 50 + 51)) (addInteger - 50 - 51)) + 322 + 323)) (addInteger - 370 - 371)) + 154 + 155)) (addInteger - 220 - 221)) + 258 + 259)) (addInteger - 380 - 381)) + 180 + 181)) (addInteger - 180 - 181)) + 400 + 401)) (addInteger - 92 - 93)) + 276 + 277)) (addInteger - 52 - 53)) + 394 + 395)) (addInteger - 276 - 277)) + 360 + 361)) (addInteger - 66 - 67)) + 202 + 203)) (addInteger - 26 - 27)) + 148 + 149)) (addInteger - 374 - 375)) + 70 + 71)) (addInteger - 174 - 175)) + 48 + 49)) (addInteger - 194 - 195)) + 210 + 211)) (addInteger - 154 - 155)) + 144 + 145)) (addInteger - 46 - 47)) + 398 + 399)) (addInteger - 96 - 97)) + 338 + 339)) (addInteger - 160 - 161)) + 226 + 227)) (addInteger - 32 - 33)) + 280 + 281)) (addInteger - 320 - 321)) + 348 + 349)) (addInteger - 384 - 385)) + 142 + 143)) (addInteger - 224 - 225)) + 254 + 255)) (addInteger - 256 - 257)) + 248 + 249)) (addInteger - 150 - 151)) + 374 + 375)) (addInteger - 22 - 23)) + 366 + 367)) (addInteger - 378 - 379)) + 160 + 161)) (addInteger - 214 - 215)) + 198 + 199)) (addInteger - 86 - 87)) + 368 + 369)) (addInteger - 314 - 315)) + 76 + 77)) (addInteger - 140 - 141)) + 294 + 295)) (addInteger - 356 - 357)) + 80 + 81)) (addInteger - 316 - 317)) + 380 + 381)) (addInteger - 68 - 69)) + 176 + 177)) (addInteger - 28 - 29)) - (addInteger 244 245)) - (addInteger 310 311)) - (addInteger 330 331)) - (addInteger 238 239)) - (addInteger 2 3)) - (addInteger 218 219)) - (addInteger 126 127)) - (addInteger 360 361)) - (addInteger 72 73)) - (addInteger 248 249)) - (addInteger 296 297)) - (addInteger 8 9)) - (addInteger 184 185)) - (addInteger 350 351)) - (addInteger 242 243)) - (addInteger 398 399)) - (addInteger 290 291)) - (addInteger 286 287)) - (addInteger 178 179)) - (addInteger 354 355) \ No newline at end of file + 396 + 397)) + (addInteger 194 195)) + (addInteger 42 43)) + (addInteger 66 67)) + (addInteger 0 1)) + (addInteger 324 325)) + (addInteger 308 309)) + (addInteger 114 115)) + (addInteger 238 239)) + (addInteger 218 219)) + (addInteger 36 37)) + (addInteger 136 137)) + (addInteger 274 275)) + (addInteger 302 303)) + (addInteger 82 83)) + (addInteger 314 315)) + (addInteger 266 267)) + (addInteger 130 131)) + (addInteger 334 335)) + (addInteger 330 331)) + (addInteger 38 39) \ No newline at end of file