Giters

GaloisInc / saw-script

The SAW scripting language.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Heapster translation error for reachability permissions

eddywestbrook opened this issue · comments

commented

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