Revision af0ff493 - Removed unused predicate - LustreC

« Previous | Next »

Revision af0ff493

Added by Pierre-Loïc Garoche over 9 years ago

ID af0ff493fbea777f99eebb285504b503f1515780
Parent 5b12f571
Child e8b5876f

Removed unused predicate

added
modified
copied
renamed
deleted

example_twocounters
- wanted
  - .frama-c
    - frama_c_journal.ml (diff)
  - two_counters.proof (diff)