antonis19

Here is the output of the synthesis: ``` user@Lenovo:~/go/src/github.com/nickng/dingo-hunter/third_party/gmc-synthesis$ ./runsmc.py inputs/output_cfsms ----------------- GMC Check ----------------- Parsing CFSMs file... (factor 0) Machine 5: True Machine 3: True Machine 1: False Machine...

You need to be running the browser console before running the main program: https://github.com/antonis19/autobrowse/tree/main/browser-console

> @antonis19 when panic happened? do you have logs/trace? It didn't happen during regular execution, it happened while I was developing because I had forgotten to set `u.CurrentBlockNumber` in the...

The issue wasn't that the unwinding point was 0, the issue was that `u.CurrentBlockNumber` was 0, due to my not setting it. ```go unwindState := &UnwindState{ID: stages.HashState, UnwindPoint: blockNr -...

> @antonis19 it's ok. let's return err instead of warning Done.

I was getting some other issues on commit `39b62b4fda39510251f6ceac89d81f5a94ff8f50` , so I wasn't able to replicate your issue, but on the latest commit `cf4ace8a398fbc808fb598fc02372c332ebb37b0` I was able to sync and...

@Snawoot could you check again with Erigon v2.60.5 ?