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

Handle failed transactions #61

Open thpani opened 1 month ago

thpani commented 1 month ago

Currently reverted transactions are ignored by the fetcher+checker.

We should retrieve and check them to achieve full support for MustRevert_.

thpani commented 1 week ago

How to get failed tx's from Horizon:

@@ -113,6 +113,7 @@ export async function fetch(args: any) {
     // initiate the streaming loop
     const closeHandler = server
         .operations()
+        .includeFailed(true)
         .cursor(startCursor)
         .stream({
             onmessage: async (msg: any) => {