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

Automatic alert trigger #96

Closed Kukovec closed 3 weeks ago

Kukovec commented 3 weeks ago

closes #95

Adds --alert flag to verify. If supplied with a valid contract id, will submit the verification result to the alert contract deployed with the given ID on the TESTNET. If not supplied, verify behaves as it did before.

Also removes some misc. stdout noise in invokeAlert.ts

Kukovec commented 3 weeks ago

A small heads up RE the diff of the last commit: I've unified MonitorAnalysisStatus and VerificationStatus everywhere into a VerificationStatus enum, so it's just a cascade of name changes