Allow starting from any point in a program - Githubissues

GillianPlatform / Gillian

The Gillian Platform main repository

https://GillianPlatform.github.io

BSD 3-Clause "New" or "Revised" License

78 stars 12 forks source link

Allow starting from any point in a program #234

Open NatKarmios opened 1 year ago

NatKarmios commented 1 year ago

[ ] Support fabricating a symbolic state
[ ] Tweak interpreter to start from a custom i
[ ] Add interface for this to debugger

It'd be nice to get a prototype of this for Peter.