lustrec-tests/regression_tests/lustre_files/success/automata/with_properties/counters.xml @ 02d89bbb
1 |
<?xml version="1.0"?>
|
---|---|
2 |
<Results xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> |
3 |
<Property name="top"> |
4 |
<Date>2016-11-21 13:58</Date> |
5 |
<Lustre2Horn unit="sec">0.00</Lustre2Horn> |
6 |
<Parse unit="sec">0.00</Parse> |
7 |
<Query unit="sec">0.62</Query> |
8 |
<Answer>SAFE</Answer> |
9 |
</Property>
|
10 |
</Results>
|
11 |
|