Changeset 1914 for src/Clight/test

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

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

Location:
src/Clight/test
Files:
3 added

Note: See TracChangeset for help on using the changeset viewer.