Enable float intervals for SV-COMP 2023

sim642 · sim642 · commit bd42cc15cd71 · 2022-10-19T14:33:27.000+03:00
diff --git a/conf/svcomp23.json b/conf/svcomp23.json
@@ -9,6 +9,9 @@
       "enums": false,
       "interval": true
     },
+    "float": {
+      "interval": true
+    },
     "activated": [
       "base",
       "threadid",
