diff --git a/resources/tests/GanacheTests/tests.json b/resources/tests/GanacheTests/tests.json index a4244072..d6d61477 100644 --- a/resources/tests/GanacheTests/tests.json +++ b/resources/tests/GanacheTests/tests.json @@ -279,11 +279,6 @@ "expected": "5743", "deploy_logged" : [-57896044618658097711785492504343953926634992332820282019728792003956564819808,5738], "shows_that_we_support": "default constructors + values get written to storage and resurrected on subsequent calls" - }, - { - "file": "TraceThis.obs", - "expected": "-2438", - "shows_that_we_support": "emitting tracers and default constructors for more complicated nestings of objects. note that this emits 30 log messages between deployment and invocation; they look right but haven't been checked carefully" } ] } diff --git a/src/main/scala/edu/cmu/cs/obsidian/codegen/CodeGenYul.scala b/src/main/scala/edu/cmu/cs/obsidian/codegen/CodeGenYul.scala index c2238fac..07d890c4 100644 --- a/src/main/scala/edu/cmu/cs/obsidian/codegen/CodeGenYul.scala +++ b/src/main/scala/edu/cmu/cs/obsidian/codegen/CodeGenYul.scala @@ -482,7 +482,7 @@ object CodeGenYul extends CodeGenerator { } decl_0exp(id) +: (e_yul ++ update_instructions) - + case _ => assert(assertion = false, "trying to assign to non-assignable: " + e.toString) Seq()