Currently the master branch points to the new (fixed) version of ConsBytestring which is also reflected in the conformance-suite’s test: plutus-conformance/test-cases/uplc/evaluation/builtin/consByteString/consByteString.uplc
Fix Agda’s implementation to point to the new version
Acceptance criteria:
the agda conformance test should be reenabled and pass
Currently the master branch points to the new (fixed) version of ConsBytestring which is also reflected in the conformance-suite’s test: plutus-conformance/test-cases/uplc/evaluation/builtin/consByteString/consByteString.uplc
Fix Agda’s implementation to point to the new version
Acceptance criteria:
the agda conformance test should be reenabled and pass