search

runtimeverification / kontrol

BSD 3-Clause "New" or "Revised" License
55 stars 9 forks source link

Add a test for `etch` to a symbolic address #844

Open palinatolmach opened 1 month ago

palinatolmach commented 1 month ago

Closes https://github.com/runtimeverification/kontrol/issues/841.

This PR adds testEtchSymbolicAddress to Kontrol test suite, to ensure that an etch to a symbolic address is possible.

TODO: debug refute_node failure.