From 005f680d80e7c97ef2a34589cb2baa3e09db9f8e Mon Sep 17 00:00:00 2001
From: Bjoern Brandenburg <bbb@mpi-sws.org>
Date: Wed, 27 Nov 2013 00:21:47 +0100
Subject: Pretty-print example task set files

Easier to inspect by hand if properly indented.
---
 example/nolock_example_1 | 28 +++++++++++++++++++++++++++-
 1 file changed, 27 insertions(+), 1 deletion(-)

(limited to 'example/nolock_example_1')

diff --git a/example/nolock_example_1 b/example/nolock_example_1
index 1dbeb8a..1e29389 100644
--- a/example/nolock_example_1
+++ b/example/nolock_example_1
@@ -1 +1,27 @@
-<taskset><properties count="23" density="15.4729907718" density_q="20410015300950549083507309309/1319073707335068058096800000" hyperperiod="699109064887586070791304000000" utilization="15.4729907718" utilization_q="20410015300950549083507309309/1319073707335068058096800000" /><task period="92000" wcet="77458" /><task period="231000" wcet="136533" /><task period="162000" wcet="81968" /><task period="246000" wcet="185116" /><task period="162000" wcet="91878" /><task period="223000" wcet="175137" /><task period="53000" wcet="36093" /><task period="193000" wcet="122459" /><task period="227000" wcet="134213" /><task period="236000" wcet="194596" /><task period="196000" wcet="115232" /><task period="201000" wcet="134545" /><task period="177000" wcet="117609" /><task period="64000" wcet="34458" /><task period="80000" wcet="64850" /><task period="187000" wcet="98045" /><task period="125000" wcet="105110" /><task period="244000" wcet="166497" /><task period="123000" wcet="74986" /><task period="204000" wcet="125921" /><task period="119000" wcet="83377" /><task period="112000" wcet="88028" /><task period="81000" wcet="53934" /></taskset>
\ No newline at end of file
+<?xml version="1.0"?>
+<taskset>
+  <properties count="23" density="15.4729907718" density_q="20410015300950549083507309309/1319073707335068058096800000" hyperperiod="699109064887586070791304000000" utilization="15.4729907718" utilization_q="20410015300950549083507309309/1319073707335068058096800000"/>
+  <task period="92000" wcet="77458"/>
+  <task period="231000" wcet="136533"/>
+  <task period="162000" wcet="81968"/>
+  <task period="246000" wcet="185116"/>
+  <task period="162000" wcet="91878"/>
+  <task period="223000" wcet="175137"/>
+  <task period="53000" wcet="36093"/>
+  <task period="193000" wcet="122459"/>
+  <task period="227000" wcet="134213"/>
+  <task period="236000" wcet="194596"/>
+  <task period="196000" wcet="115232"/>
+  <task period="201000" wcet="134545"/>
+  <task period="177000" wcet="117609"/>
+  <task period="64000" wcet="34458"/>
+  <task period="80000" wcet="64850"/>
+  <task period="187000" wcet="98045"/>
+  <task period="125000" wcet="105110"/>
+  <task period="244000" wcet="166497"/>
+  <task period="123000" wcet="74986"/>
+  <task period="204000" wcet="125921"/>
+  <task period="119000" wcet="83377"/>
+  <task period="112000" wcet="88028"/>
+  <task period="81000" wcet="53934"/>
+</taskset>
-- 
cgit v1.2.2