lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / large / SAFE / ccp19.xml @ b8dc00eb
History | View | Annotate | Download (335 Bytes)
| 1 |
<?xml version="1.0"?>
|
|---|---|
| 2 |
<Results xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> |
| 3 |
<Property name="top"> |
| 4 |
<Date>2016-11-16 16:45</Date> |
| 5 |
<Lustre2Horn unit="sec">0.00</Lustre2Horn> |
| 6 |
<Parse unit="sec">0.00</Parse> |
| 7 |
<Query unit="sec">0.06</Query> |
| 8 |
<Answer>SAFE</Answer> |
| 9 |
</Property>
|
| 10 |
</Results>
|
| 11 |
|