Heapster translation error for reachability permissions
eddywestbrook opened this issue · comments
The mbox
, clearbufs
, and iter_linked_list
examples in the heapster-saw/exmples
directory no longer work, because they get the following Heapster translation error:
[23:58:51.099] Type translation expected 2 arguments, but got 1
CallStack (from HasCallStack):
error, called at src/Verifier/SAW/Heapster/SAWTranslation.hs:146:3 in heapster-saw-0.1-inplace:Verifier.SAW.Heapster.SAWTranslation
typeTransF, called at src/Verifier/SAW/Heapster/SAWTranslation.hs:805:45 in heapster-saw-0.1-inplace:Verifier.SAW.Heapster.SAWTranslation