fixed some more bugs/warnings

Former-commit-id: 2748793daf

src/storage/dd/CuddAdd.cpp

@@ -1039,10 +1039,10 @@ namespace storm {
                 
                 // Finally, delete the names.
                 for (char* element : ddNames) {
-                    delete element;
+                    delete[] element;
                 }
                 for (char* element : ddVariableNames) {
-                    delete element;
+                    delete[] element;
                 }
             }
         }

src/utility/cli.h

@@ -35,6 +35,7 @@
 #include "src/models/ModelBase.h"
 #include "src/models/sparse/Model.h"
 #include "src/models/symbolic/Model.h"
+#include "src/models/symbolic/StandardRewardModel.h"
 
 #include "src/storage/dd/CuddAdd.h"
 #include "src/storage/dd/CuddBdd.h"

test/functional/storage/BitVectorTest.cpp

@@ -59,21 +59,21 @@ TEST(BitVectorTest, GetAsInt) {
     vector.set(64);
     vector.set(65);
 
-    EXPECT_EQ(1, vector.getAsInt(62, 1));
-    EXPECT_EQ(3, vector.getAsInt(62, 2));
-    EXPECT_EQ(7, vector.getAsInt(62, 3));
-    EXPECT_EQ(15, vector.getAsInt(62, 4));
+    EXPECT_EQ(1ul, vector.getAsInt(62, 1));
+    EXPECT_EQ(3ul, vector.getAsInt(62, 2));
+    EXPECT_EQ(7ul, vector.getAsInt(62, 3));
+    EXPECT_EQ(15ul, vector.getAsInt(62, 4));
     
     vector.set(64, false);
 
-    EXPECT_EQ(1, vector.getAsInt(62, 1));
-    EXPECT_EQ(3, vector.getAsInt(62, 2));
-    EXPECT_EQ(6, vector.getAsInt(62, 3));
-    EXPECT_EQ(13, vector.getAsInt(62, 4));
+    EXPECT_EQ(1ul, vector.getAsInt(62, 1));
+    EXPECT_EQ(3ul, vector.getAsInt(62, 2));
+    EXPECT_EQ(6ul, vector.getAsInt(62, 3));
+    EXPECT_EQ(13ul, vector.getAsInt(62, 4));
     
     vector.set(61);
     vector.set(62, false);
-    EXPECT_EQ(2, vector.getAsInt(61, 2));
+    EXPECT_EQ(2ul, vector.getAsInt(61, 2));
 }
 
 TEST(BitVectorTest, SetFromInt) {