From 4ff0e85539bd0beb112d1188c4355a12b5de996e Mon Sep 17 00:00:00 2001 From: lpaucot_uclouvain <laurent.paucot@student.uclouvain.be> Date: Tue, 21 Apr 2020 19:02:47 +0200 Subject: [PATCH] fix --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 2538dc0..f40f2b3 100644 --- a/Makefile +++ b/Makefile @@ -30,7 +30,7 @@ cpp_xml : run.c val : fact valgrind --leak-check=full --show-leak-kinds=all --track-origins=yes ./fact Test_files/input.txt actual_output.txt -val_xml : run +val_xml : fact valgrind --xml=yes --xml-file="valgrind.xml" --leak-check=yes ./fact Test_files/input.txt actual_output.txt -- GitLab