source: examples/acme_rockets_intersection_rt0_typed/Acme_preferred_customer__Coyote_attr.der @ 2225f80

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since 2225f80 was 0d0c3a9, checked in by Mei <mei@…>, 12 years ago

1) adding missing extern forward declarations that is causing

freeBSD compiled prover to coredump
  • Property mode set to 100644
File size: 698 bytes

HTML preview not available, since no preview renderer could handle it. Try downloading the file instead.

Note: See TracBrowser for help on using the repository browser.