mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 22:23:22 +00:00
Code Activity

fix closing parnetheses

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-08-18 13:26:29 -07:00
parent d094f6a856
commit 19da3c7086
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -117,7 +117,7 @@ describe('high-level', () => {
const x = Int.const('x') const x = Int.const('x')
solver.add(Not(x.eq(1))) solver.add(Not(x.eq(1)))
expect(await solver.check()).toStrictEqual('unsat') expect(await solver.check()).toStrictEqual('unsat')
} });
it('disproves x = y implies g(g(x)) = g(y)', async () => { it('disproves x = y implies g(g(x)) = g(y)', async () => {
const { Solver, Int, Function, Implies, Not } = api.Context('main'); const { Solver, Int, Function, Implies, Not } = api.Context('main');