Changeset 2450 for src/Clight/switchRemoval.ma
- Timestamp:
- Nov 9, 2012, 6:04:27 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Clight/switchRemoval.ma
r2449 r2450 2718 2718 switch(e) case_list ===> 2719 2719 e ⇓ Vint i, 2720 case_list' ← select_switch sz ncase_list;2720 case_list' ← select_switch i case_list; 2721 2721 Result = State (seq_of_labeled_statement case_list') (Kswitch k) env mem 2722 2722
Note: See TracChangeset
for help on using the changeset viewer.