Don't emit STs when accessing STs outside provable code #842
ejMina226Annotations
1 error
|
test
Process completed with exit code 1.
|