lustrec-tests/regression_tests/lustre_files/success/automata/with_properties/test_ok.xml @ 02d89bbb
| 1 | 02d89bbb | bourbouh | <?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.10</Query> |
||
| 8 | <Answer>SAFE</Answer> |
||
| 9 | </Property>
|
||
| 10 | </Results>
|