search

freespek / solarkraft

Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
Apache License 2.0
10 stars 0 forks source link

Fix typo in symbol #70

Closed thpani closed 1 month ago

thpani commented 1 month ago

Fix a symbol typo in the setter contract

konnov commented 1 month ago

Hmm. I don't think it was a typo. There is a constraint on symbols having at most 10 bytes. Have you tried to deploy the new version?