Changeset 2991 for src/joint/Traces.ma


Ignore:
Timestamp:
Mar 27, 2013, 9:57:13 PM (7 years ago)
Author:
piccolo
Message:

Fixed cond and seq case in StatusSimulationHelper?

Added cost case in StatusSimulationHelper?

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/Traces.ma

    r2968 r2991  
    208208
    209209definition cost_label_of_stmt :
    210   ∀p : sem_params.∀pars.joint_statement p (globals p pars) → option costlabel ≝
    211   λp,pars,s.match s with
     210  ∀p,globals.joint_statement p globals → option costlabel ≝
     211  λp,g,s.match s with
    212212  [ sequential s _ ⇒
    213213    match s with
Note: See TracChangeset for help on using the changeset viewer.