Changeset 1914


Ignore:
Timestamp:
May 3, 2012, 5:53:10 PM (7 years ago)
Author:
campbell
Message:

Fix bug in Clight semantics that misses goto-labels inside a cost label
statement.

Location:
src/Clight
Files:
3 added
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/Csem.ma

    r1874 r1914  
    990990      | inr _ ⇒ find_label lbl s' k
    991991      ]
     992  | Scost c s' ⇒
     993      find_label lbl s' k
    992994  | _ => None ?
    993995  ]
Note: See TracChangeset for help on using the changeset viewer.