anoma / juvix

A language for intent-centric and declarative decentralised applications
https://docs.juvix.org
GNU General Public License v3.0
457 stars 53 forks source link

Support traces in the anoma node #3152

Closed janmasrovira closed 2 weeks ago

janmasrovira commented 2 weeks ago

This pr adds support for getting traces from the anoma node. I've updated the test suite so that tests that were disabled because of traces are now being run. There are a few tests that require atention:

  1. test028: Gives the wrong answer.
  2. test084: Gives the wrong answer.
  3. test074: Expected to fail because it uses scry.
  4. test086: Expected to fail because Anoma representation of prngs is different than the juvix representation.