update .gitignore

sdingcn · Jul 18, 2023 · efd1fd0 · efd1fd0
1 parent b94ac19
commit efd1fd0
Showing 1 changed file with 5 additions and 12 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,12 +1,5 @@
-lzr-time.txt
-report.txt
-lzr/current.dot
-lzr/resource-logs/*.log
-mr/exp/graphs/simplified-taint/*.dot
-mr/exp/graphs/valueflow/*.dot
-mr/exp/results/simplified-taint/*.result
-mr/exp/results/taint/*.result
-mr/exp/results/valueflow/*.result
-mr/*.o
-mr/main
-vf/dot-files/*.dot
+*.o
+main
+exp/taint/*.result
+exp/valueflow/*.result
+exp/simplified-taint/*.result