From dff61c929f444a46dd40d327562115e433272554 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Tue, 5 Dec 2023 16:19:50 +0200
Subject: [PATCH] Remove two ignores of spec analysis

---
 .gitignore                          | 1 -
 scripts/regression2sv-benchmarks.py | 1 -
 2 files changed, 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 75bd23d36b..faf1513653 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,7 +29,6 @@ linux-headers
 .goblint*/
 goblint_temp_*/
 
-src/spec/graph
 .vagrant
 
 g2html.jar
diff --git a/scripts/regression2sv-benchmarks.py b/scripts/regression2sv-benchmarks.py
index 8f74a70f52..7bcc1c7ea3 100755
--- a/scripts/regression2sv-benchmarks.py
+++ b/scripts/regression2sv-benchmarks.py
@@ -31,7 +31,6 @@
     "09-regions_34-escape_rc", # duplicate of 04/45
     "09-regions_35-list2_rc-offsets-thread", # duplicate of 09/03
     "10-synch_17-glob_fld_nr", # duplicate of 05/08
-    "19-spec_02-mutex_rc", # duplicate of 04/01
 
     "29-svcomp_01-race-2_3b-container_of", # duplicate sv-benchmarks
     "29-svcomp_01-race-2_4b-container_of", # duplicate sv-benchmarks