search

mbeddr / mbeddr.core

The mbeddr core. An extensible C
Eclipse Public License 2.0
225 stars 77 forks source link

Debugging Verifiable State Machines #681

Open DomenikP opened 11 years ago

DomenikP commented 11 years ago

As it looks like, the verifiable flag affects the state machine generator. Therefore, when debugging verifiable state machines, the debugger behaves differently, as some traces seem to be missing.

DomenikP commented 11 years ago

as it looks like, transitions are differently translated, therefore the debugger behaves differently, when debugging a verifiable state machine. Here, we need different behavior, depending on the verfiable flag.