Changeset 3384


Ignore:
Timestamp:
Jul 19, 2013, 4:36:31 PM (4 years ago)
Author:
sacerdot
Message:

Bug found?? We think so.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • LTS/Simulation.ma

    r3383 r3384  
    5252       as_execute s2' s2'' (ret_act None) ∧
    5353       ∃t3: raw_trace s2'' s2'''.
    54         Srel s2 s2''' ∧ silent t1 ∧ silent t3 ∧ Rrel s2 s2'' ∧ Crel s1 s2'
     54        Srel s2 s2''' ∧ silent t1 ∧ silent t3 (*???? BUG? ∧ Rrel s2 s2''*) ∧ Crel s1 s2'
    5555 ; simulate_ret_n:
    5656     ∀s1,s2,l,s1'.
Note: See TracChangeset for help on using the changeset viewer.