Ignore:
Timestamp:
Dec 2, 2011, 1:02:08 PM (9 years ago)
Author:
campbell
Message:

More on RTLabs structured traces.
Fixed mistake in structure trace definition that made it unhabitable.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/StructuredTraces.ma

    r1574 r1583  
    7676        trace_any_label S end_flag status_init status_end →
    7777        as_classifier S status_pre cl_other →
    78         ¬ (as_costed S status_pre) →
     78        ¬ (as_costed S status_init) →
    7979          trace_any_label S end_flag status_pre status_end.
    8080
Note: See TracChangeset for help on using the changeset viewer.