diff --git a/.gitignore b/.gitignore index a753813e0..76b8b9a9b 100644 --- a/.gitignore +++ b/.gitignore @@ -57,7 +57,9 @@ tools/btor2/btor2i/build/ # profiling ignore tools/profiler/data +tools/profiler/meta-logs tools/profiler/fg-tmp +tools/profiler/handmade-flame-graphs/*/*.svg temp/