diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2024-02-02 17:09:57 +0100 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2024-02-02 17:09:57 +0100 |
| commit | a0a317e7d6c74005be94fef0711def86e57a616b (patch) | |
| tree | baae03864a2fcb151a7d1c293d37eb0a1ebab286 /tools/verify_qemu.py | |
| parent | a331aa90709fb26b795cdb649b52b067dc8f8af6 (diff) | |
| download | focaccia-a0a317e7d6c74005be94fef0711def86e57a616b.tar.gz focaccia-a0a317e7d6c74005be94fef0711def86e57a616b.zip | |
Add ReadableProgramState interface
It often occurs that a function only wants to read values from a ProgramState, but not write them. The new interface ReadableProgramState captures this need.
Diffstat (limited to 'tools/verify_qemu.py')
0 files changed, 0 insertions, 0 deletions