svf-lib 1.0.2014 → 1.0.2015

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (5) hide show
  1. package/SVF-linux/Release-build/bin/ae +0 -0
  2. package/SVF-linux/Release-build/bin/svf-ex +0 -0
  3. package/SVF-linux/Release-build/include/AE/Core/IntervalValue.h +2 -2
  4. package/SVF-linux/Release-build/lib/libSvfCore.a +0 -0
  5. package/package.json +1 -1
package/SVF-linux/Release-build/bin/ae CHANGED
Binary file
package/SVF-linux/Release-build/bin/svf-ex CHANGED
Binary file
package/SVF-linux/Release-build/include/AE/Core/IntervalValue.h CHANGED
@@ -205,14 +205,14 @@ public:
205
205
  /// Return the lower bound
206
206
  const BoundedInt &lb() const
207
207
  {
208
- assert(!this->isBottom());
208
+ assert(!this->isBottom() && "bottom interval does not have lower bound");
209
209
  return this->_lb;
210
210
  }
211
211
 
212
212
  /// Return the upper bound
213
213
  const BoundedInt &ub() const
214
214
  {
215
- assert(!this->isBottom());
215
+ assert(!this->isBottom() && "bottom interval does not have upper bound");
216
216
  return this->_ub;
217
217
  }
218
218
 
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.2014",
3
+ "version": "1.0.2015",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {