svf-lib 1.0.2014 → 1.0.2016

package/SVF-linux/Release-build/include/AE/Core/IntervalValue.h

@@ -205,14 +205,14 @@ public:
     /// Return the lower bound
     const BoundedInt &lb() const
     {
-        assert(!this->isBottom());
+        assert(!this->isBottom() && "bottom interval does not have lower bound");
         return this->_lb;
     }
 
     /// Return the upper bound
     const BoundedInt &ub() const
     {
-        assert(!this->isBottom());
+        assert(!this->isBottom() && "bottom interval does not have upper bound");
         return this->_ub;
     }
 

package/SVF-osx/Release-build/include/Graphs/WTO.h

@@ -414,6 +414,12 @@ public:
         return _head;
     }
 
+    /// Get all wto components in WTO cycle
+    const WTOComponentRefList& getWTOComponents() const
+    {
+        return _components;
+    }
+
     /// Begin iterator over the components
     Iterator begin() const
     {
@@ -579,7 +585,12 @@ public:
         }
     }
 
-    /// Begin iterator over the components
+    /// Get all wto components in WTO
+    const WTOComponentRefList& getWTOComponents() const
+    {
+        return _components;
+    }
+
     /// Begin iterator over the components
     Iterator begin() const
     {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.2014",
+  "version": "1.0.2016",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {