Skip to content

Commit

Permalink
Rebase fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
SethDusek committed Nov 22, 2023
1 parent e2098cb commit 8b3a51b
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions sc/shared/src/test/scala/sigma/SigmaDslSpecification.scala
Original file line number Diff line number Diff line change
Expand Up @@ -2395,7 +2395,7 @@ class SigmaDslSpecification extends SigmaDslTesting
* @param cost the expected cost of `verify` (the same for all cases)
*/
def verifyNeq[A: Ordering: Arbitrary: RType]
(x: A, y: A, cost: Int, neqCost: Seq[CostItem] = ArraySeq.empty, newCost: Int)
(x: A, y: A, cost: Int, neqCost: Seq[CostItem] = ArraySeq.empty, newCost: Int, expectedV3Costs: Seq[Int])
(copy: A => A, generateCases: Boolean = true)
(implicit sampled: Sampled[(A, A)], evalSettings: EvalSettings) = {
val copied_x = copy(x)
Expand Down Expand Up @@ -9925,10 +9925,10 @@ class SigmaDslSpecification extends SigmaDslTesting
},
changedFeature(
{ (x: (Coll[Byte], Int)) =>
SigmaDsl.substConstants(x._1, Coll[Int](x._2), Coll[Any](SigmaDsl.sigmaProp(false))(RType.AnyType))
SigmaDsl.substConstants(x._1, Coll[Int](x._2), Coll[Any](SigmaDsl.sigmaProp(false))(sigma.AnyType))
},
{ (x: (Coll[Byte], Int)) =>
SigmaDsl.substConstants(x._1, Coll[Int](x._2), Coll[Any](SigmaDsl.sigmaProp(false))(RType.AnyType))
SigmaDsl.substConstants(x._1, Coll[Int](x._2), Coll[Any](SigmaDsl.sigmaProp(false))(sigma.AnyType))
},
"{ (x: (Coll[Byte], Int)) => substConstants[Any](x._1, Coll[Int](x._2), Coll[Any](sigmaProp(false))) }",
FuncValue(
Expand Down

0 comments on commit 8b3a51b

Please sign in to comment.