svf-lib 1.0.2013 → 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.
- package/SVF-linux/Release-build/bin/ae +0 -0
- package/SVF-linux/Release-build/bin/svf-ex +0 -0
- package/SVF-linux/Release-build/include/AE/Core/IntervalValue.h +2 -2
- package/SVF-linux/Release-build/lib/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/bin/ae +0 -0
- package/SVF-osx/Release-build/include/AE/Core/IntervalValue.h +2 -2
- package/SVF-osx/Release-build/lib/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/lib/libSvfLLVM.a +0 -0
- package/package.json +1 -1
|
Binary file
|
|
Binary file
|
|
@@ -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
|
|
|
Binary file
|
|
Binary file
|
|
@@ -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
|
|
|
Binary file
|
|
Binary file
|