Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save scalahub/c80c2950f04a21365d0f91c8a4e74733 to your computer and use it in GitHub Desktop.
Save scalahub/c80c2950f04a21365d0f91c8a4e74733 to your computer and use it in GitHub Desktop.
Error in executeFromVar
Variable executeFromVar not found in environment Map(pkA -> s74)
scalan.Base$StagingException: Variable executeFromVar not found in environment Map(pkA -> s74)
at scalan.Base.$bang$bang$bang(Base.scala:45)
at scalan.Base.$bang$bang$bang$(Base.scala:45)
at scalan.Scalan.$bang$bang$bang(Scalan.scala:7)
at sigmastate.eval.CompiletimeCosting.$anonfun$evalNode$1(CompiletimeCosting.scala:24)
at scala.collection.MapLike.getOrElse(MapLike.scala:131)
at scala.collection.MapLike.getOrElse$(MapLike.scala:129)
at scala.collection.AbstractMap.getOrElse(Map.scala:63)
at sigmastate.eval.CompiletimeCosting.evalNode(CompiletimeCosting.scala:24)
at sigmastate.eval.CompiletimeCosting.evalNode$(CompiletimeCosting.scala:20)
at sigmastate.helpers.SigmaTestingCommons$TestingIRContext.evalNode(SigmaTestingCommons.scala:85)
at sigmastate.eval.RuntimeCosting.evalNode(RuntimeCosting.scala:1467)
at sigmastate.eval.RuntimeCosting.evalNode$(RuntimeCosting.scala:1148)
at sigmastate.helpers.SigmaTestingCommons$TestingIRContext.sigmastate$eval$CompiletimeCosting$$super$evalNode(SigmaTestingCommons.scala:85)
at sigmastate.eval.CompiletimeCosting.evalNode(CompiletimeCosting.scala:112)
at sigmastate.eval.CompiletimeCosting.evalNode$(CompiletimeCosting.scala:20)
at sigmastate.helpers.SigmaTestingCommons$TestingIRContext.evalNode(SigmaTestingCommons.scala:85)
at sigmastate.eval.RuntimeCosting.$anonfun$evalNode$3(RuntimeCosting.scala:1243)
at sigmastate.eval.RuntimeCosting.$anonfun$evalNode$3$adapted(RuntimeCosting.scala:1241)
at scala.collection.TraversableLike$WithFilter.$anonfun$foreach$1(TraversableLike.scala:792)
at scala.collection.mutable.ResizableArray.foreach(ResizableArray.scala:62)
at scala.collection.mutable.ResizableArray.foreach$(ResizableArray.scala:55)
at scala.collection.mutable.ArrayBuffer.foreach(ArrayBuffer.scala:49)
at scala.collection.TraversableLike$WithFilter.foreach(TraversableLike.scala:791)
at sigmastate.eval.RuntimeCosting.evalNode(RuntimeCosting.scala:1241)
at sigmastate.eval.RuntimeCosting.evalNode$(RuntimeCosting.scala:1148)
at sigmastate.helpers.SigmaTestingCommons$TestingIRContext.sigmastate$eval$CompiletimeCosting$$super$evalNode(SigmaTestingCommons.scala:85)
at sigmastate.eval.CompiletimeCosting.evalNode(CompiletimeCosting.scala:112)
at sigmastate.eval.CompiletimeCosting.evalNode$(CompiletimeCosting.scala:20)
at sigmastate.helpers.SigmaTestingCommons$TestingIRContext.evalNode(SigmaTestingCommons.scala:85)
at sigmastate.eval.RuntimeCosting.$anonfun$buildCostedGraph$1(RuntimeCosting.scala:1931)
at scalan.primitives.Functions.$anonfun$lambda$2(Functions.scala:338)
at scalan.Base.reifyEffects(Base.scala:494)
at scalan.Base.reifyEffects$(Base.scala:494)
at scalan.Scalan.reifyEffects(Scalan.scala:7)
at scalan.primitives.Functions.lambda(Functions.scala:338)
at scalan.primitives.Functions.mkLambda(Functions.scala:304)
at scalan.primitives.Functions.mkLambda$(Functions.scala:299)
at scalan.Scalan.mkLambda(Scalan.scala:7)
at scalan.primitives.Functions.fun(Functions.scala:33)
at scalan.primitives.Functions.fun$(Functions.scala:33)
at scalan.Scalan.fun(Scalan.scala:7)
at sigmastate.eval.RuntimeCosting.buildCostedGraph(RuntimeCosting.scala:1929)
at sigmastate.eval.RuntimeCosting.buildCostedGraph$(RuntimeCosting.scala:1928)
at sigmastate.helpers.SigmaTestingCommons$TestingIRContext.buildCostedGraph(SigmaTestingCommons.scala:85)
at sigmastate.eval.IRContext.doCosting(IRContext.scala:39)
at sigmastate.eval.IRContext.doCosting$(IRContext.scala:38)
at sigmastate.helpers.SigmaTestingCommons$TestingIRContext.doCosting(SigmaTestingCommons.scala:85)
at sigmastate.lang.SigmaCompiler.compile(SigmaCompiler.scala:53)
at sigmastate.helpers.SigmaTestingCommons.compile(SigmaTestingCommons.scala:57)
at sigmastate.helpers.SigmaTestingCommons.compile$(SigmaTestingCommons.scala:56)
at sigmastate.utxo.examples.ExecuteFromExamplesSpecification.compile(ExecuteFromExamplesSpecification.scala:14)
at org.ergoplatform.dsl.TestContractSpec$TestPropositionSpec.ergoTree$lzycompute(TestContractSpec.scala:28)
at org.ergoplatform.dsl.TestContractSpec$TestPropositionSpec.ergoTree(TestContractSpec.scala:27)
at org.ergoplatform.dsl.TestContractSpec$TestOutBox.ergoBox$lzycompute(TestContractSpec.scala:126)
at org.ergoplatform.dsl.TestContractSpec$TestOutBox.ergoBox(TestContractSpec.scala:124)
at org.ergoplatform.dsl.TestContractSpec$TestInputBox.$anonfun$toErgoContext$2(TestContractSpec.scala:90)
at scala.collection.TraversableLike.$anonfun$map$1(TraversableLike.scala:237)
at scala.collection.mutable.ResizableArray.foreach(ResizableArray.scala:62)
at scala.collection.mutable.ResizableArray.foreach$(ResizableArray.scala:55)
at scala.collection.mutable.ArrayBuffer.foreach(ArrayBuffer.scala:49)
at scala.collection.TraversableLike.map(TraversableLike.scala:237)
at scala.collection.TraversableLike.map$(TraversableLike.scala:230)
at scala.collection.AbstractTraversable.map(Traversable.scala:108)
at org.ergoplatform.dsl.TestContractSpec$TestInputBox.toErgoContext(TestContractSpec.scala:90)
at org.ergoplatform.dsl.TestContractSpec$TestInputBox.runDsl(TestContractSpec.scala:96)
at sigmastate.utxo.examples.ExecuteFromExamplesSpecification.$anonfun$new$1(ExecuteFromExamplesSpecification.scala:64)
at org.scalatest.OutcomeOf.outcomeOf(OutcomeOf.scala:85)
at org.scalatest.OutcomeOf.outcomeOf$(OutcomeOf.scala:83)
at org.scalatest.OutcomeOf$.outcomeOf(OutcomeOf.scala:104)
at org.scalatest.Transformer.apply(Transformer.scala:22)
at org.scalatest.Transformer.apply(Transformer.scala:20)
at org.scalatest.PropSpecLike$$anon$1.apply(PropSpecLike.scala:186)
at org.scalatest.TestSuite.withFixture(TestSuite.scala:196)
at org.scalatest.TestSuite.withFixture$(TestSuite.scala:195)
at sigmastate.utxo.examples.ExecuteFromExamplesSpecification.scalan$TestUtils$$super$withFixture(ExecuteFromExamplesSpecification.scala:14)
at scalan.TestUtils.withFixture(TestUtils.scala:31)
at scalan.TestUtils.withFixture$(TestUtils.scala:29)
at sigmastate.utxo.examples.ExecuteFromExamplesSpecification.withFixture(ExecuteFromExamplesSpecification.scala:14)
at org.scalatest.PropSpecLike.invokeWithFixture$1(PropSpecLike.scala:184)
at org.scalatest.PropSpecLike.$anonfun$runTest$1(PropSpecLike.scala:196)
at org.scalatest.SuperEngine.runTestImpl(Engine.scala:289)
at org.scalatest.PropSpecLike.runTest(PropSpecLike.scala:196)
at org.scalatest.PropSpecLike.runTest$(PropSpecLike.scala:178)
at org.scalatest.PropSpec.runTest(PropSpec.scala:874)
at org.scalatest.PropSpecLike.$anonfun$runTests$1(PropSpecLike.scala:229)
at org.scalatest.SuperEngine.$anonfun$runTestsInBranch$1(Engine.scala:396)
at scala.collection.immutable.List.foreach(List.scala:392)
at org.scalatest.SuperEngine.traverseSubNodes$1(Engine.scala:384)
at org.scalatest.SuperEngine.runTestsInBranch(Engine.scala:379)
at org.scalatest.SuperEngine.runTestsImpl(Engine.scala:461)
at org.scalatest.PropSpecLike.runTests(PropSpecLike.scala:229)
at org.scalatest.PropSpecLike.runTests$(PropSpecLike.scala:228)
at org.scalatest.PropSpec.runTests(PropSpec.scala:874)
at org.scalatest.Suite.run(Suite.scala:1147)
at org.scalatest.Suite.run$(Suite.scala:1129)
at org.scalatest.PropSpec.org$scalatest$PropSpecLike$$super$run(PropSpec.scala:874)
at org.scalatest.PropSpecLike.$anonfun$run$1(PropSpecLike.scala:233)
at org.scalatest.SuperEngine.runImpl(Engine.scala:521)
at org.scalatest.PropSpecLike.run(PropSpecLike.scala:233)
at org.scalatest.PropSpecLike.run$(PropSpecLike.scala:232)
at org.scalatest.PropSpec.run(PropSpec.scala:874)
at org.scalatest.tools.SuiteRunner.run(SuiteRunner.scala:45)
at org.scalatest.tools.Runner$.$anonfun$doRunRunRunDaDoRunRun$13(Runner.scala:1346)
at org.scalatest.tools.Runner$.$anonfun$doRunRunRunDaDoRunRun$13$adapted(Runner.scala:1340)
at scala.collection.immutable.List.foreach(List.scala:392)
at org.scalatest.tools.Runner$.doRunRunRunDaDoRunRun(Runner.scala:1340)
at org.scalatest.tools.Runner$.$anonfun$runOptionallyWithPassFailReporter$24(Runner.scala:1031)
at org.scalatest.tools.Runner$.$anonfun$runOptionallyWithPassFailReporter$24$adapted(Runner.scala:1010)
at org.scalatest.tools.Runner$.withClassLoaderAndDispatchReporter(Runner.scala:1506)
at org.scalatest.tools.Runner$.runOptionallyWithPassFailReporter(Runner.scala:1010)
at org.scalatest.tools.Runner$.run(Runner.scala:850)
at org.scalatest.tools.Runner.run(Runner.scala)
at org.jetbrains.plugins.scala.testingSupport.scalaTest.ScalaTestRunner.runScalaTest2(ScalaTestRunner.java:131)
at org.jetbrains.plugins.scala.testingSupport.scalaTest.ScalaTestRunner.main(ScalaTestRunner.java:28)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment