This file is indexed.

/usr/share/frama-c/wp/ is in frama-c-base 20111001+nitrogen+dfsg-3.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/frama-c/wp/hoare_ergo.why text/plain root:root 0o644 24.4 KB
/usr/share/frama-c/wp/hoare_model.v text/plain root:root 0o644 33.8 KB
/usr/share/frama-c/wp/hoare_model.why text/plain root:root 0o644 18.1 KB
/usr/share/frama-c/wp/runtime_ergo.why text/plain root:root 0o644 46.1 KB
/usr/share/frama-c/wp/runtime_model.v text/plain root:root 0o644 65.0 KB
/usr/share/frama-c/wp/runtime_model.why text/plain root:root 0o644 54.2 KB
/usr/share/frama-c/wp/store_ergo.why text/plain root:root 0o644 33.6 KB
/usr/share/frama-c/wp/store_model.v text/plain root:root 0o644 46.2 KB
/usr/share/frama-c/wp/store_model.why text/plain root:root 0o644 27.2 KB
/usr/share/frama-c/wp/wp.v text/plain root:root 0o644 3.7 KB