diff --git a/plutus-conformance/agda/Spec.hs b/plutus-conformance/agda/Spec.hs index 0457eef9db4..4b481f060cd 100644 --- a/plutus-conformance/agda/Spec.hs +++ b/plutus-conformance/agda/Spec.hs @@ -134,7 +134,6 @@ failingBudgetTests = , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-16" , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-17" , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-18" - , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-19" , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-20" , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-21" , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-22" @@ -143,12 +142,19 @@ failingBudgetTests = , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-25" , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-26" , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-27" - , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-28" , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-29" , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-30" , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-31" , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-32" , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-33" + , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-34" + , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-35" + , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-36" + , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-37" + , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-38" + , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-39" + , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-40" + , "test-cases/uplc/evaluation/builtin/semantics/writeBits/case-41" ] -- Run the tests: see Note [Evaluation with and without costing] above. diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-19/case-19.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-19/case-19.uplc index 8bc796ffa0a..e3af27c792e 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-19/case-19.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-19/case-19.uplc @@ -1,4 +1,4 @@ (program 1.0.0 [ - [ [ (builtin writeBits) (con bytestring #00) ] (con (list integer) [5]) ] + [ [ (builtin writeBits) (con bytestring #00) ] (con (list integer) [-1]) ] (con bool True) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-19/case-19.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-19/case-19.uplc.budget.expected index 927839980d3..ccc477ffed6 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-19/case-19.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-19/case-19.uplc.budget.expected @@ -1,2 +1 @@ -({cpu: 412093 -| mem: 801}) \ No newline at end of file +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-19/case-19.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-19/case-19.uplc.expected index 0f56b3d1382..ccc477ffed6 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-19/case-19.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-19/case-19.uplc.expected @@ -1 +1 @@ -(program 1.0.0 (con bytestring #20)) \ No newline at end of file +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-20/case-20.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-20/case-20.uplc index 25c4c48dc16..58c84e97b11 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-20/case-20.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-20/case-20.uplc @@ -1,4 +1,4 @@ (program 1.0.0 [ - [ [ (builtin writeBits) (con bytestring #ff) ] (con (list integer) [5]) ] - (con bool False) + [ [ (builtin writeBits) (con bytestring #00) ] (con (list integer) [0]) ] + (con bool True) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-20/case-20.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-20/case-20.uplc.expected index f87801506b8..9f3c7471f3c 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-20/case-20.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-20/case-20.uplc.expected @@ -1 +1 @@ -(program 1.0.0 (con bytestring #df)) \ No newline at end of file +(program 1.0.0 (con bytestring #01)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-21/case-21.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-21/case-21.uplc index d5622a66ebe..c9c29b69ecd 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-21/case-21.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-21/case-21.uplc @@ -1,4 +1,4 @@ (program 1.0.0 [ - [ [ (builtin writeBits) (con bytestring #f4ff) ] (con (list integer) [10]) ] - (con bool False) + [ [ (builtin writeBits) (con bytestring #00) ] (con (list integer) [1]) ] + (con bool True) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-21/case-21.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-21/case-21.uplc.expected index 334e02172d7..7e135432fc1 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-21/case-21.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-21/case-21.uplc.expected @@ -1 +1 @@ -(program 1.0.0 (con bytestring #f0ff)) \ No newline at end of file +(program 1.0.0 (con bytestring #02)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-22/case-22.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-22/case-22.uplc index 856c7fca43c..4cad9087010 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-22/case-22.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-22/case-22.uplc @@ -1,4 +1,4 @@ (program 1.0.0 [ - [ [ (builtin writeBits) (con bytestring #f4ff) ] (con (list integer) [10,1]) ] - (con bool False) + [ [ (builtin writeBits) (con bytestring #00) ] (con (list integer) [2]) ] + (con bool True) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-22/case-22.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-22/case-22.uplc.budget.expected index 30dac2d1008..927839980d3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-22/case-22.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-22/case-22.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 430941 +({cpu: 412093 | mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-22/case-22.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-22/case-22.uplc.expected index 3782838d304..147c8009d9f 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-22/case-22.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-22/case-22.uplc.expected @@ -1 +1 @@ -(program 1.0.0 (con bytestring #f0fd)) \ No newline at end of file +(program 1.0.0 (con bytestring #04)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-23/case-23.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-23/case-23.uplc index d5622a66ebe..ea7043802b3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-23/case-23.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-23/case-23.uplc @@ -1,4 +1,4 @@ (program 1.0.0 [ - [ [ (builtin writeBits) (con bytestring #f4ff) ] (con (list integer) [10]) ] - (con bool False) + [ [ (builtin writeBits) (con bytestring #00) ] (con (list integer) [3]) ] + (con bool True) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-23/case-23.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-23/case-23.uplc.expected index 334e02172d7..6c5da937cd7 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-23/case-23.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-23/case-23.uplc.expected @@ -1 +1 @@ -(program 1.0.0 (con bytestring #f0ff)) \ No newline at end of file +(program 1.0.0 (con bytestring #08)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-24/case-24.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-24/case-24.uplc index 856c7fca43c..c046a136609 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-24/case-24.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-24/case-24.uplc @@ -1,4 +1,4 @@ (program 1.0.0 [ - [ [ (builtin writeBits) (con bytestring #f4ff) ] (con (list integer) [10,1]) ] - (con bool False) + [ [ (builtin writeBits) (con bytestring #00) ] (con (list integer) [4]) ] + (con bool True) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-24/case-24.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-24/case-24.uplc.budget.expected index 30dac2d1008..927839980d3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-24/case-24.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-24/case-24.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 430941 +({cpu: 412093 | mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-24/case-24.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-24/case-24.uplc.expected index 3782838d304..e7689cea5c6 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-24/case-24.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-24/case-24.uplc.expected @@ -1 +1 @@ -(program 1.0.0 (con bytestring #f0fd)) \ No newline at end of file +(program 1.0.0 (con bytestring #10)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-25/case-25.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-25/case-25.uplc index a5b2de0cc7f..8bc796ffa0a 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-25/case-25.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-25/case-25.uplc @@ -1,4 +1,4 @@ (program 1.0.0 [ - [ [ (builtin writeBits) (con bytestring #f4ff) ] (con (list integer) [1,10]) ] - (con bool False) + [ [ (builtin writeBits) (con bytestring #00) ] (con (list integer) [5]) ] + (con bool True) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-25/case-25.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-25/case-25.uplc.budget.expected index 30dac2d1008..927839980d3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-25/case-25.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-25/case-25.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 430941 +({cpu: 412093 | mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-25/case-25.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-25/case-25.uplc.expected index 3782838d304..0f56b3d1382 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-25/case-25.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-25/case-25.uplc.expected @@ -1 +1 @@ -(program 1.0.0 (con bytestring #f0fd)) \ No newline at end of file +(program 1.0.0 (con bytestring #20)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-26/case-26.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-26/case-26.uplc index 0c18dfeabc1..3339704ace4 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-26/case-26.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-26/case-26.uplc @@ -1,19 +1,4 @@ -(program 1.0.0 - [ - [ - (builtin writeBits) - [ - [ - [ - (builtin writeBits) - (con bytestring #00ff) - ] - (con (list integer) [10]) - ] - (con bool True) - ] - (con (list integer) [10]) - ] - (con bool False) - ] -) \ No newline at end of file +(program 1.0.0 [ + [ [ (builtin writeBits) (con bytestring #00) ] (con (list integer) [6]) ] + (con bool True) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-26/case-26.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-26/case-26.uplc.budget.expected index d51c314bbff..927839980d3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-26/case-26.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-26/case-26.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 808086 -| mem: 1402}) \ No newline at end of file +({cpu: 412093 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-26/case-26.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-26/case-26.uplc.expected index 3b05f166499..ca11ac0b5e6 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-26/case-26.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-26/case-26.uplc.expected @@ -1 +1 @@ -(program 1.0.0 (con bytestring #00ff)) \ No newline at end of file +(program 1.0.0 (con bytestring #40)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-27/case-27.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-27/case-27.uplc index 9ab252bdba0..cb90b5c178c 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-27/case-27.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-27/case-27.uplc @@ -1,19 +1,4 @@ -(program 1.0.0 - [ - [ - (builtin writeBits) - [ - [ - [ - (builtin writeBits) - (con bytestring #00ff) - ] - (con (list integer) [10]) - ] - (con bool False) - ] - (con (list integer) [10]) - ] +(program 1.0.0 [ + [ [ (builtin writeBits) (con bytestring #00) ] (con (list integer) [7]) ] (con bool True) - ] -) \ No newline at end of file +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-27/case-27.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-27/case-27.uplc.budget.expected index d51c314bbff..927839980d3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-27/case-27.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-27/case-27.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 808086 -| mem: 1402}) \ No newline at end of file +({cpu: 412093 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-27/case-27.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-27/case-27.uplc.expected index 6dac2188e26..f8c7744e4c2 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-27/case-27.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-27/case-27.uplc.expected @@ -1 +1 @@ -(program 1.0.0 (con bytestring #04ff)) \ No newline at end of file +(program 1.0.0 (con bytestring #80)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-28/case-28.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-28/case-28.uplc index 7a35424bad6..af78ce50d28 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-28/case-28.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-28/case-28.uplc @@ -1,4 +1,4 @@ (program 1.0.0 [ - [ [ (builtin writeBits) (con bytestring #ff) ] (con (list integer) [0]) ] + [ [ (builtin writeBits) (con bytestring #00) ] (con (list integer) [8]) ] (con bool True) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-28/case-28.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-28/case-28.uplc.budget.expected index 927839980d3..ccc477ffed6 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-28/case-28.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-28/case-28.uplc.budget.expected @@ -1,2 +1 @@ -({cpu: 412093 -| mem: 801}) \ No newline at end of file +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-28/case-28.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-28/case-28.uplc.expected index f596b7aaa16..ccc477ffed6 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-28/case-28.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-28/case-28.uplc.expected @@ -1 +1 @@ -(program 1.0.0 (con bytestring #ff)) \ No newline at end of file +evaluation failure \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-29/case-29.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-29/case-29.uplc index 31ae6f5c995..d5622a66ebe 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-29/case-29.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-29/case-29.uplc @@ -1,4 +1,4 @@ (program 1.0.0 [ - [ [ (builtin writeBits) (con bytestring #00) ] (con (list integer) [0]) ] + [ [ (builtin writeBits) (con bytestring #f4ff) ] (con (list integer) [10]) ] (con bool False) ]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-29/case-29.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-29/case-29.uplc.expected index 4624f0c52b0..334e02172d7 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-29/case-29.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-29/case-29.uplc.expected @@ -1 +1 @@ -(program 1.0.0 (con bytestring #00)) \ No newline at end of file +(program 1.0.0 (con bytestring #f0ff)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-30/case-30.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-30/case-30.uplc index af51ab9623e..a5b2de0cc7f 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-30/case-30.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-30/case-30.uplc @@ -1,12 +1,4 @@ -(program 1.0.0 - [ - [ - [ - (builtin writeBits) - (con bytestring #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000) - ] - (con (list integer) [340, 342, 343]) - ] - (con bool True) - ] -) \ No newline at end of file +(program 1.0.0 [ + [ [ (builtin writeBits) (con bytestring #f4ff) ] (con (list integer) [1,10]) ] + (con bool False) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-30/case-30.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-30/case-30.uplc.budget.expected index c6aac0b723f..30dac2d1008 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-30/case-30.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-30/case-30.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 449789 -| mem: 806}) \ No newline at end of file +({cpu: 430941 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-30/case-30.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-30/case-30.uplc.expected index 3c632778990..3782838d304 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-30/case-30.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-30/case-30.uplc.expected @@ -1,7 +1 @@ -(program - 1.0.0 - (con - bytestring - #d0000000000000000000000000000000000000000000000000000000000000000000000000000000000000 - ) -) \ No newline at end of file +(program 1.0.0 (con bytestring #f0fd)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-31/case-31.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-31/case-31.uplc index ef5c4d40b27..856c7fca43c 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-31/case-31.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-31/case-31.uplc @@ -1,20 +1,4 @@ --- Later updates to duplicate indices take precedence. -(program 1.0.0 - [ - [ - (builtin writeBits) - [ - [ - [ - (builtin writeBits) - (con bytestring #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000) - ] - (con (list integer) [340, 342, 343, 340, 342, 343]) - ] - (con bool True) - ] - (con (list integer) [340, 342, 343]) - ] +(program 1.0.0 [ + [ [ (builtin writeBits) (con bytestring #f4ff) ] (con (list integer) [10,1]) ] (con bool False) - ] -) \ No newline at end of file +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-31/case-31.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-31/case-31.uplc.budget.expected index 07b22130740..30dac2d1008 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-31/case-31.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-31/case-31.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 940022 -| mem: 1412}) \ No newline at end of file +({cpu: 430941 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-31/case-31.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-31/case-31.uplc.expected index 1d4a1034cba..3782838d304 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-31/case-31.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-31/case-31.uplc.expected @@ -1,7 +1 @@ -(program - 1.0.0 - (con - bytestring - #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000 - ) -) \ No newline at end of file +(program 1.0.0 (con bytestring #f0fd)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-32/case-32.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-32/case-32.uplc index 5b001bb4311..7c0ff5aef30 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-32/case-32.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-32/case-32.uplc @@ -1,12 +1,4 @@ -(program 1.0.0 - [ - [ - [ - (builtin writeBits) - (con bytestring #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000) - ] - (con (list integer) [340, 342, 343]) - ] +(program 1.0.0 [ + [ [ (builtin writeBits) (con bytestring #f4ff) ] (con (list integer) [10,1,10,1,1,1,1,10,10,10,1,1,1,1,1,1,10,1]) ] (con bool False) - ] -) \ No newline at end of file +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-32/case-32.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-32/case-32.uplc.budget.expected index c6aac0b723f..1abc268e00a 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-32/case-32.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-32/case-32.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 449789 -| mem: 806}) \ No newline at end of file +({cpu: 732509 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-32/case-32.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-32/case-32.uplc.expected index 1d4a1034cba..3782838d304 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-32/case-32.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-32/case-32.uplc.expected @@ -1,7 +1 @@ -(program - 1.0.0 - (con - bytestring - #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000 - ) -) \ No newline at end of file +(program 1.0.0 (con bytestring #f0fd)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-33/case-33.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-33/case-33.uplc index cd058275761..59ba12506b8 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-33/case-33.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-33/case-33.uplc @@ -1,12 +1,4 @@ -(program 1.0.0 - [ - [ - [ - (builtin writeBits) - (con bytestring #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000) - ] - (con (list integer) [340, 342, 343, 343, 342, 340, 340, 343, 342, 340, 340, 340]) - ] - (con bool True) - ] -) \ No newline at end of file +(program 1.0.0 [ + [ [ (builtin writeBits) (con bytestring #f4ff) ] (con (list integer) [1,10,1,10,1,10,1,10,1,10,1,10,10,10,10,11,11,9]) ] + (con bool False) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-33/case-33.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-33/case-33.uplc.budget.expected index f4cf56e82dd..1abc268e00a 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-33/case-33.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-33/case-33.uplc.budget.expected @@ -1,2 +1,2 @@ -({cpu: 619421 -| mem: 806}) \ No newline at end of file +({cpu: 732509 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-33/case-33.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-33/case-33.uplc.expected index 3c632778990..3782838d304 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-33/case-33.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-33/case-33.uplc.expected @@ -1,7 +1 @@ -(program - 1.0.0 - (con - bytestring - #d0000000000000000000000000000000000000000000000000000000000000000000000000000000000000 - ) -) \ No newline at end of file +(program 1.0.0 (con bytestring #f0fd)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-34/case-34.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-34/case-34.uplc index f841c735852..0c18dfeabc1 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-34/case-34.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-34/case-34.uplc @@ -6,13 +6,13 @@ [ [ (builtin writeBits) - (con bytestring #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000) + (con bytestring #00ff) ] - (con (list integer) [340, 342, 344]) -- 344 is out of bounds + (con (list integer) [10]) ] (con bool True) ] - (con (list integer) [344, 340, 342, 343]) + (con (list integer) [10]) ] (con bool False) ] diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-34/case-34.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-34/case-34.uplc.budget.expected index ccc477ffed6..d51c314bbff 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-34/case-34.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-34/case-34.uplc.budget.expected @@ -1 +1,2 @@ -evaluation failure \ No newline at end of file +({cpu: 808086 +| mem: 1402}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-34/case-34.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-34/case-34.uplc.expected index ccc477ffed6..3b05f166499 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-34/case-34.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-34/case-34.uplc.expected @@ -1 +1 @@ -evaluation failure \ No newline at end of file +(program 1.0.0 (con bytestring #00ff)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-35/case-35.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-35/case-35.uplc index 31da757d7ec..9ab252bdba0 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-35/case-35.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-35/case-35.uplc @@ -1,12 +1,19 @@ (program 1.0.0 [ [ + (builtin writeBits) [ - (builtin writeBits) - (con bytestring #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000) + [ + [ + (builtin writeBits) + (con bytestring #00ff) + ] + (con (list integer) [10]) + ] + (con bool False) ] - (con (list integer) [340, 342, 344, 1000000]) + (con (list integer) [10]) ] (con bool True) ] -) +) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-35/case-35.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-35/case-35.uplc.budget.expected index ccc477ffed6..d51c314bbff 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-35/case-35.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-35/case-35.uplc.budget.expected @@ -1 +1,2 @@ -evaluation failure \ No newline at end of file +({cpu: 808086 +| mem: 1402}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-35/case-35.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-35/case-35.uplc.expected index ccc477ffed6..6dac2188e26 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-35/case-35.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-35/case-35.uplc.expected @@ -1 +1 @@ -evaluation failure \ No newline at end of file +(program 1.0.0 (con bytestring #04ff)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-36/case-36.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-36/case-36.uplc index 8a241a8040c..7a35424bad6 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-36/case-36.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-36/case-36.uplc @@ -1,13 +1,4 @@ --- Check that indices don't wrap around -(program 1.0.0 - [ - [ - [ - (builtin writeBits) - (con bytestring #33c2f0d68584803b9dc05b3b0b9cbd6683edc0ce742bb09957613e44150205679d3f61a467b25cc758a3b0) - ] - (con (list integer) [9223372036854775807]) -- maxBound :: Int - ] +(program 1.0.0 [ + [ [ (builtin writeBits) (con bytestring #ff) ] (con (list integer) [0]) ] (con bool True) - ] -) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-36/case-36.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-36/case-36.uplc.budget.expected index ccc477ffed6..927839980d3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-36/case-36.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-36/case-36.uplc.budget.expected @@ -1 +1,2 @@ -evaluation failure \ No newline at end of file +({cpu: 412093 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-36/case-36.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-36/case-36.uplc.expected index ccc477ffed6..f596b7aaa16 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-36/case-36.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-36/case-36.uplc.expected @@ -1 +1 @@ -evaluation failure \ No newline at end of file +(program 1.0.0 (con bytestring #ff)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-37/case-37.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-37/case-37.uplc index b8c9569e0e0..31ae6f5c995 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-37/case-37.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-37/case-37.uplc @@ -1,13 +1,4 @@ --- Check that indices don't wrap around -(program 1.0.0 - [ - [ - [ - (builtin writeBits) - (con bytestring #33c2f0d68584803b9dc05b3b0b9cbd6683edc0ce742bb09957613e44150205679d3f61a467b25cc758a3b0) - ] - (con (list integer) [9223372036854775808]) -- (maxBound :: Int) + 1 - ] - (con bool True) - ] -) +(program 1.0.0 [ + [ [ (builtin writeBits) (con bytestring #00) ] (con (list integer) [0]) ] + (con bool False) +]) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-37/case-37.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-37/case-37.uplc.budget.expected index ccc477ffed6..927839980d3 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-37/case-37.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-37/case-37.uplc.budget.expected @@ -1 +1,2 @@ -evaluation failure \ No newline at end of file +({cpu: 412093 +| mem: 801}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-37/case-37.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-37/case-37.uplc.expected index ccc477ffed6..4624f0c52b0 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-37/case-37.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-37/case-37.uplc.expected @@ -1 +1 @@ -evaluation failure \ No newline at end of file +(program 1.0.0 (con bytestring #00)) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-38/case-38.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-38/case-38.uplc index 8ad26a27445..af51ab9623e 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-38/case-38.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-38/case-38.uplc @@ -1,13 +1,12 @@ --- Check that indices don't wrap around (program 1.0.0 [ [ [ (builtin writeBits) - (con bytestring #33c2f0d68584803b9dc05b3b0b9cbd6683edc0ce742bb09957613e44150205679d3f61a467b25cc758a3b0) + (con bytestring #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000) ] - (con (list integer) [-9223372036854775808]) -- minBound :: Int + (con (list integer) [340, 342, 343]) ] (con bool True) ] -) +) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-38/case-38.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-38/case-38.uplc.budget.expected index ccc477ffed6..c6aac0b723f 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-38/case-38.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-38/case-38.uplc.budget.expected @@ -1 +1,2 @@ -evaluation failure \ No newline at end of file +({cpu: 449789 +| mem: 806}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-38/case-38.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-38/case-38.uplc.expected index ccc477ffed6..3c632778990 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-38/case-38.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-38/case-38.uplc.expected @@ -1 +1,7 @@ -evaluation failure \ No newline at end of file +(program + 1.0.0 + (con + bytestring + #d0000000000000000000000000000000000000000000000000000000000000000000000000000000000000 + ) +) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-39/case-39.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-39/case-39.uplc index 298d37de336..ef5c4d40b27 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-39/case-39.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-39/case-39.uplc @@ -1,13 +1,20 @@ --- Check that indices don't wrap around +-- Later updates to duplicate indices take precedence. (program 1.0.0 [ [ + (builtin writeBits) [ - (builtin writeBits) - (con bytestring #33c2f0d68584803b9dc05b3b0b9cbd6683edc0ce742bb09957613e44150205679d3f61a467b25cc758a3b0) + [ + [ + (builtin writeBits) + (con bytestring #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000) + ] + (con (list integer) [340, 342, 343, 340, 342, 343]) + ] + (con bool True) ] - (con (list integer) [-9223372036854775809]) -- (minBound :: Int) - 1 + (con (list integer) [340, 342, 343]) ] - (con bool True) + (con bool False) ] -) +) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-39/case-39.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-39/case-39.uplc.budget.expected index ccc477ffed6..07b22130740 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-39/case-39.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-39/case-39.uplc.budget.expected @@ -1 +1,2 @@ -evaluation failure \ No newline at end of file +({cpu: 940022 +| mem: 1412}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-39/case-39.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-39/case-39.uplc.expected index ccc477ffed6..1d4a1034cba 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-39/case-39.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-39/case-39.uplc.expected @@ -1 +1,7 @@ -evaluation failure \ No newline at end of file +(program + 1.0.0 + (con + bytestring + #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000 + ) +) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-40/case-40.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-40/case-40.uplc index 8e939e0b962..5b001bb4311 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-40/case-40.uplc +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-40/case-40.uplc @@ -1,13 +1,12 @@ --- Check that indices don't wrap around (program 1.0.0 [ [ [ (builtin writeBits) - (con bytestring #33c2f0d68584803b9dc05b3b0b9cbd6683edc0ce742bb09957613e44150205679d3f61a467b25cc758a3b0) + (con bytestring #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000) ] - (con (list integer) [18446744073709551616]) -- 2^64 + (con (list integer) [340, 342, 343]) ] - (con bool True) + (con bool False) ] -) +) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-40/case-40.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-40/case-40.uplc.budget.expected index ccc477ffed6..c6aac0b723f 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-40/case-40.uplc.budget.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-40/case-40.uplc.budget.expected @@ -1 +1,2 @@ -evaluation failure \ No newline at end of file +({cpu: 449789 +| mem: 806}) \ No newline at end of file diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-40/case-40.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-40/case-40.uplc.expected index ccc477ffed6..1d4a1034cba 100644 --- a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-40/case-40.uplc.expected +++ b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/writeBits/case-40/case-40.uplc.expected @@ -1 +1,7 @@ -evaluation failure \ No newline at end of file +(program + 1.0.0 + (con + bytestring + #00000000000000000000000000000000000000000000000000000000000000000000000000000000000000 + ) +) \ No newline at end of file