Unexpected failure: "Function `mmap` with missing definition is unreachable"

[danielsn]

I tried this code:

https://github.com/danielsn/kani/tree/kani-1743

using the following command line invocation:

cd memory_model
cargo kani

with Kani version: 0.11

I expected to see this happen: Kani verified the code

Instead, this happened: explanation

SUMMARY:
 ** 1 of 1698 failed (1697 undetermined)
Failed Checks: Function `mmap` with missing definition is unreachable

This is surprising, because CBMC has a mmap primitive