Update test cases now that valueContains does not allow negative amounts

basetunnel · basetunnel · commit d91139671ca0 · 2025-10-03T13:22:23.000+02:00
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/ccy-missing/ccy-missing.uplc
@@ -1,7 +1,7 @@
 (program 1.0.0
   [ (builtin valueContains)
-    (con value [(#aa, [(#aa, -10), (#bb, 2800)]), (#ffff, [(#8888, 100)])])
-    (con value [(#aa, [(#aa, -10)]), (#1234, [(#abcd, 20)])])
+    (con value [(#aa, [(#aa, 10), (#bb, 2800)]), (#ffff, [(#8888, 100)])])
+    (con value [(#aa, [(#aa, 10)]), (#1234, [(#abcd, 20)])])
   ]
 )
 
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-insufficient/multi-insufficient.uplc
@@ -1,6 +1,6 @@
 (program 1.0.0
   [ (builtin valueContains)
-    (con value [(#aa, [(#aa, -10), (#bb, 2800)]), (#ffff, [(#8888, 100)])])
-    (con value [(#aa, [(#aa, -10)]), (#ffff, [(#8888, 101)])])
+    (con value [(#aa, [(#aa, 10), (#bb, 2800)]), (#ffff, [(#8888, 100)])])
+    (con value [(#aa, [(#aa, 10)]), (#ffff, [(#8888, 101)])])
   ]
 )
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/multi-sufficient/multi-sufficient.uplc
@@ -1,6 +1,6 @@
 (program 1.0.0
   [ (builtin valueContains)
-    (con value [(#aa, [(#aa, -10), (#bb, 2800)]), (#ffff, [(#8888, 100)])])
-    (con value [(#aa, [(#aa, -10)]), (#ffff, [(#8888, 20)])])
+    (con value [(#aa, [(#aa, 10), (#bb, 2800)]), (#ffff, [(#8888, 100)])])
+    (con value [(#aa, [(#aa, 10)]), (#ffff, [(#8888, 20)])])
   ]
 )
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.budget.expected
@@ -1,2 +1 @@
-({cpu: 100000080100
-| mem: 100000000600})
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-eq/neg-neg-eq.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con bool True))
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc.budget.expected
@@ -1,2 +1 @@
-({cpu: 100000080100
-| mem: 100000000600})
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-gt/neg-neg-gt.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con bool False))
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc.budget.expected
@@ -1,2 +1 @@
-({cpu: 100000080100
-| mem: 100000000600})
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-neg-lt/neg-neg-lt.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con bool False))
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc.budget.expected
@@ -1,2 +1 @@
-({cpu: 100000080100
-| mem: 100000000600})
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/neg-pos/neg-pos.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con bool False))
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc.budget.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc.budget.expected
@@ -1,2 +1 @@
-({cpu: 100000080100
-| mem: 100000000600})
+evaluation failure
diff --git a/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc.expected b/plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/valueContains/pos-neg/pos-neg.uplc.expected
@@ -1 +1 @@
-(program 1.0.0 (con bool False))
+evaluation failure

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`(program 1.0.0`
`2`	`2`	`[ (builtin valueContains)`
`3`		`- (con value [(#aa, [(#aa, -10), (#bb, 2800)]), (#ffff, [(#8888, 100)])])`
`4`		`- (con value [(#aa, [(#aa, -10)]), (#1234, [(#abcd, 20)])])`
	`3`	`+ (con value [(#aa, [(#aa, 10), (#bb, 2800)]), (#ffff, [(#8888, 100)])])`
	`4`	`+ (con value [(#aa, [(#aa, 10)]), (#1234, [(#abcd, 20)])])`
`5`	`5`	`]`
`6`	`6`	`)`
`7`	`7`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`(program 1.0.0`
`2`	`2`	`[ (builtin valueContains)`
`3`		`- (con value [(#aa, [(#aa, -10), (#bb, 2800)]), (#ffff, [(#8888, 100)])])`
`4`		`- (con value [(#aa, [(#aa, -10)]), (#ffff, [(#8888, 101)])])`
	`3`	`+ (con value [(#aa, [(#aa, 10), (#bb, 2800)]), (#ffff, [(#8888, 100)])])`
	`4`	`+ (con value [(#aa, [(#aa, 10)]), (#ffff, [(#8888, 101)])])`
`5`	`5`	`]`
`6`	`6`	`)`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1 @@`
`1`		`-({cpu: 100000080100`
`2`		`-\| mem: 100000000600})`
	`1`	`+evaluation failure`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-(program 1.0.0 (con bool True))`
	`1`	`+evaluation failure`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-(program 1.0.0 (con bool False))`
	`1`	`+evaluation failure`