tests: do not match iterations line
During tests, the number of used iterations has been matched. When using different SAT solvers, these numbers differ. Without the numbers, the line is actually useless, so that we drop it completely.
This commit is contained in:
parent
751208d28e
commit
900a0fcb8b
|
@ -10,6 +10,5 @@ main.c
|
|||
^\[main.coverage.5\] file main.c line 14 function main MC/DC independence condition `C && D && E && !A && B.*: SATISFIED$
|
||||
^\[main.coverage.6\] file main.c line 14 function main MC/DC independence condition `C && D && E && !A && !B.*: SATISFIED$
|
||||
^\*\* .* of .* covered \(100.0%\)$
|
||||
^\*\* Used
|
||||
--
|
||||
^warning: ignoring
|
||||
|
|
|
@ -10,6 +10,5 @@ main.c
|
|||
^\[main.coverage.11\] file main.c line 12 function main MC/DC independence condition `!\(C != FALSE\) && D != FALSE.*: SATISFIED$
|
||||
^\[main.coverage.12\] file main.c line 12 function main MC/DC independence condition `!\(C != FALSE\) && !\(D != FALSE\).*: SATISFIED$
|
||||
^\*\* .* of .* covered \(100.0%\)$
|
||||
^\*\* Used
|
||||
--
|
||||
^warning: ignoring
|
||||
|
|
|
@ -13,6 +13,5 @@ main.c
|
|||
^\[main.coverage.20\] file main.c line 25 function main MC/DC independence condition `!\(E != FALSE\) && F != FALSE.*: SATISFIED$
|
||||
^\[main.coverage.21\] file main.c line 25 function main MC/DC independence condition `!\(E != FALSE\) && !\(F != FALSE\).*: SATISFIED$
|
||||
^\*\* .* of .* covered \(100.0%\)$
|
||||
^\*\* Used
|
||||
--
|
||||
^warning: ignoring
|
||||
|
|
|
@ -6,6 +6,5 @@ main.c
|
|||
^\[main.coverage.1\] file main.c line 7 function main decision/condition `altitude > 2500.* SATISFIED$
|
||||
^\[main.coverage.2\] file main.c line 7 function main decision/condition `altitude > 2500.* SATISFIED$
|
||||
^\*\* .* of .* covered \(100.0%\)$
|
||||
^\*\* Used
|
||||
--
|
||||
^warning: ignoring
|
||||
|
|
|
@ -7,6 +7,5 @@ main.c
|
|||
^\[main.coverage.2\] file main.c line 8 function main MC/DC independence condition `y < \(unsigned int\)5 && !\(x > \(unsigned int\)3\).*: SATISFIED$
|
||||
^\[main.coverage.3\] file main.c line 8 function main MC/DC independence condition `y < \(unsigned int\)5 && x > \(unsigned int\)3.*: SATISFIED$
|
||||
^\*\* .* of .* covered \(100.0%\)$
|
||||
^\*\* Used
|
||||
--
|
||||
^warning: ignoring
|
||||
|
|
|
@ -9,6 +9,5 @@ main.c
|
|||
^\[main.coverage.4\] file main.c line 11 function main MC/DC independence condition `!C && D && A && !B.*: SATISFIED$
|
||||
^\[main.coverage.5\] file main.c line 11 function main MC/DC independence condition `!A && B && C && !D.*: SATISFIED$
|
||||
^\*\* .* of .* covered \(100.0%\)$
|
||||
^\*\* Used
|
||||
--
|
||||
^warning: ignoring
|
||||
|
|
|
@ -6,6 +6,5 @@ main.c
|
|||
^\[main.coverage.1\] file main.c line 7 function main decision/condition `x < \(unsigned int\)3.* false: SATISFIED$
|
||||
^\[main.coverage.2\] file main.c line 7 function main decision/condition `x < \(unsigned int\)3.* true: SATISFIED$
|
||||
^\*\* .* of .* covered \(100.0%\)$
|
||||
^\*\* Used
|
||||
--
|
||||
^warning: ignoring
|
||||
|
|
|
@ -8,6 +8,5 @@ main.c
|
|||
^\[main.coverage.3\] file main.c line 8 function main decision/condition `x \* 123 < 0.* false: SATISFIED$
|
||||
^\[main.coverage.4\] file main.c line 8 function main decision/condition `x \* 123 < 0.* true: SATISFIED$
|
||||
^\*\* .* of .* covered \(100.0%\)$
|
||||
^\*\* Used
|
||||
--
|
||||
^warning: ignoring
|
||||
|
|
|
@ -8,6 +8,5 @@ main.c
|
|||
^\[main.coverage.3\] file main.c line 9 function main MC/DC independence condition `c != FALSE && !\(a != FALSE\) && !\(b != FALSE\).* SATISFIED$
|
||||
^\[main.coverage.4\] file main.c line 9 function main MC/DC independence condition `!\(c != FALSE\) && a != FALSE && !\(b != FALSE\).* SATISFIED$
|
||||
^\*\* .* of .* covered \(100.0%\)$
|
||||
^\*\* Used
|
||||
--
|
||||
^warning: ignoring
|
||||
|
|
|
@ -9,6 +9,5 @@ main.c
|
|||
^\[main.coverage.12\] file main.c line 16 function main MC/DC independence condition `!\(A != FALSE\) && B != FALSE && C != FALSE && !\(D != FALSE\).* SATISFIED$
|
||||
^\[main.coverage.13\] file main.c line 16 function main MC/DC independence condition `!\(A != FALSE\) && !\(B != FALSE\) && C != FALSE && !\(D != FALSE\).* SATISFIED$
|
||||
^\*\* .* of .* covered \(100.0%\)$
|
||||
^\*\* Used
|
||||
--
|
||||
^warning: ignoring
|
||||
|
|
|
@ -2,7 +2,6 @@ CORE
|
|||
main.c
|
||||
--function fun --cover branch
|
||||
^\*\* 7 of 7 covered \(100.0%\)$
|
||||
^\*\* Used
|
||||
^Test suite:$
|
||||
^a=\(\(signed int \*\*\)NULL\), tmp\$\d+=[^,]*, tmp\$\d+=[^,]*$
|
||||
^a=&tmp\$\d+!0, tmp\$\d+=\(\(signed int \*\)NULL\), tmp\$\d+=[^,]*$
|
||||
|
|
|
@ -2,7 +2,6 @@ CORE
|
|||
main.c
|
||||
--function fun --cover branch
|
||||
^\*\* 5 of 5 covered \(100\.0%\)$
|
||||
^\*\* Used
|
||||
^Test suite:$
|
||||
^a=\(\(signed int \*\)NULL\), tmp\$\d+=[^,]*$
|
||||
^a=&tmp\$\d+!0, tmp\$\d+=4$
|
||||
|
|
Loading…
Reference in New Issue