js-test: set model to true

VeriFIT · Jan 2, 2025 · 61d142a · 61d142a
1 parent fd03518
commit 61d142a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/api/js/src/high-level/high-level.test.ts b/src/api/js/src/high-level/high-level.test.ts
@@ -101,6 +101,7 @@ describe('high-level', () => {
     resetParams();
     expect(getParam('pp.decimal')).toStrictEqual('false');
     expect(getParam('timeout')).toStrictEqual('4294967295');
+    setParam('model', true);
   });
 
   it('proves x = y implies g(x) = g(y)', async () => {