Skip to content

Commit

Permalink
Merge branch '162-coverage-gnattest' into 'master'
Browse files Browse the repository at this point in the history
Change default cov report format and output dir

Closes #162

See merge request eng/ide/libadalang-tools!198
  • Loading branch information
Viviane Garese committed Dec 18, 2024
2 parents 08aaf94 + edf3f66 commit ab6e54f
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions src/test-harness.adb
Original file line number Diff line number Diff line change
Expand Up @@ -3910,8 +3910,9 @@ package body Test.Harness is
S_Put (0, "# The coverage switches are default ones, they may"
& " need to be adjusted to fit your coverage needs.");
Put_New_Line;
S_Put (0, "SWITCHES_COVERAGE=-cstmt -adhtml "
& "--output-dir=dhtml-report");
S_Put (0, "SWITCHES_COVERAGE=-cstmt -axcov+,dhtml "
& "--output-dir="
& GNATCOLL.VFS."+" (Object_Dir (Root_Prj).Full_Name));
Switches_From_Default := True;
end if;
Put_New_Line;
Expand Down

0 comments on commit ab6e54f

Please sign in to comment.