mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-20 01:03:20 +00:00
Code Activity

Remove power and infinitesimal comparison tests

Browse source 
Removed tests for power and infinitesimal comparisons.
This commit is contained in:
Nikolaj Bjorner 2026-01-18 13:08:39 -08:00 • committed by GitHub
parent 2cc08ffe6b
commit efa6bba5d4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

14
src/api/js/src/high-level/high-level.test.ts
View file

@ -2081,12 +2081,6 @@ describe('high-level', () => {
expect(decimal.length).toBeGreaterThan(0);
});
it('should perform power', () => {
const a = RCFNum(2);
const squared = a.power(2);
expect(squared.toString()).toContain('4');
});
it('should compare with lt', () => {
const a = RCFNum(1);
const b = RCFNum(2);
@ -2218,13 +2212,5 @@ describe('high-level', () => {
expect(decimal5.length).toBeGreaterThan(0);
expect(decimal10.length).toBeGreaterThan(0);
});
it('should work with infinitesimal comparisons', () => {
const eps = RCFNum.infinitesimal();
const tiny = RCFNum('1/1000000');
// Infinitesimal should be smaller than any positive real
expect(eps.lt(tiny)).toBe(true);
});
});
});