From 5a3177825f312759a3079cfcac9fcb8cca619ddf Mon Sep 17 00:00:00 2001 From: Granahir2 Date: Sun, 2 Jun 2024 12:45:53 +0200 Subject: [PATCH] Fixed results' styling --- .gitignore | 1 - scripts/footer.html | 4 ++++ scripts/header.html | 22 ++++++++++++++++++++++ scripts/header_main.html | 11 +++++++++++ scripts/test.sh | 10 +++++++--- 5 files changed, 44 insertions(+), 4 deletions(-) create mode 100644 scripts/footer.html create mode 100644 scripts/header.html create mode 100644 scripts/header_main.html diff --git a/.gitignore b/.gitignore index 09c32ad..eacbdc4 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,3 @@ -*.html analyzer results/ _build/ diff --git a/scripts/footer.html b/scripts/footer.html new file mode 100644 index 0000000..756b481 --- /dev/null +++ b/scripts/footer.html @@ -0,0 +1,4 @@ + + + + diff --git a/scripts/header.html b/scripts/header.html new file mode 100644 index 0000000..fe4e101 --- /dev/null +++ b/scripts/header.html @@ -0,0 +1,22 @@ + + + + + + + + + + + + TITLE + + diff --git a/scripts/header_main.html b/scripts/header_main.html new file mode 100644 index 0000000..9977630 --- /dev/null +++ b/scripts/header_main.html @@ -0,0 +1,11 @@ + + + + + + + + + Tests overview + + diff --git a/scripts/test.sh b/scripts/test.sh index e7fa0d3..6bafb4f 100755 --- a/scripts/test.sh +++ b/scripts/test.sh @@ -47,9 +47,13 @@ create_file() { file_html="${result_folder}/${filename}.html" if [[ ! -e "$file_html" ]] then - # cat "scripts/header.html" > $file_html + cat "scripts/header.html" > $file_html sed -i "s@TITLE@${filename}@" $file_html + echo "" >> $file_html + echo "" >> $file_html + echo "" >> $file_html echo "

${filename}

" >> $file_html + echo "
" >> $file_html cat $file >> $file_html echo "
" >> $file_html @@ -61,7 +65,7 @@ create_file() { end_file() { # After the analysis the cfg.dot should correspond to the current test dot -Tsvg cfg.dot -o ${result_folder}/${filename}.svg - # cat "scripts/footer.html" >> $file_html + cat "scripts/footer.html" >> $file_html } get_nth_line() { @@ -252,7 +256,7 @@ print_end() { } mkdir ${result_folder} -# cat "scripts/header_main.html" > $index_html +cat "scripts/header_main.html" > $index_html echo "

Overview

" >> $index_html echo "" >> $index_html total=$(find $bench -iname "*.c" | wc -l)