From 76844ba0af1ed68cc542d08bfa335deb59545267 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Mon, 12 Apr 2021 18:37:08 +0200 Subject: test profiling --- test/monniaux/profiling/compcert_profiling.dat | Bin 0 -> 96 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 test/monniaux/profiling/compcert_profiling.dat (limited to 'test/monniaux/profiling/compcert_profiling.dat') diff --git a/test/monniaux/profiling/compcert_profiling.dat b/test/monniaux/profiling/compcert_profiling.dat new file mode 100644 index 00000000..fa57a995 Binary files /dev/null and b/test/monniaux/profiling/compcert_profiling.dat differ -- cgit