Changeset 3073 for driver/tests/PROBLEMI


Ignore:
Timestamp:
Apr 2, 2013, 6:44:34 PM (8 years ago)
Author:
sacerdot
Message:

New extraction, all tests pass.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • driver/tests/PROBLEMI

    r3071 r3073  
    555. ok
    666. ok
    7 7. LTL failure
     77. ok
    888. ok
    9 bubble_sort.c: different trace in ERTL, different result in Assembly
     9bubble_sort.c: ok
Note: See TracChangeset for help on using the changeset viewer.