freespek / solarkraft

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

Fixes hardcoded Apalache path #79

Closed Kukovec closed 1 month ago

Kukovec commented 1 month ago

closes #34

Instead of looking at a fixed directory, attempts to read the $APALACHE_HOME environment variable.