Error when testing

[Hellstormer00]

I built the projekt with make on Mac Os 11.1 BigSur. It builds fine but when testing I get the following error:

=== RUN   TestContextErrorHandler
    error_test.go:29: should call error handler
--- FAIL: TestContextErrorHandler (0.00s)
=== RUN   TestModelAssignments
    model_test.go:20: 
        AST:
        (= (+ x 4) 16)
    model_test.go:38: 
        Model:
        x -> 12
    model_test.go:43: Assignment: 12
--- PASS: TestModelAssignments (0.02s)
=== RUN   TestModelEval
    model_test.go:62: 
        AST:
        (= (+ x 4) 16)
    model_test.go:80: 
        Model:
        x -> 12
    model_test.go:84: Assignment: 12
--- PASS: TestModelEval (0.02s)
=== RUN   TestSolver
    solver_test.go:20: 
        AST:
        (xor x y)
    solver_test.go:38: 
        Model:
        y -> false
        x -> true
--- PASS: TestSolver (0.02s)
=== RUN   TestSymbol
--- PASS: TestSymbol (0.00s)
=== RUN   ExampleBasicMath
--- PASS: ExampleBasicMath (0.02s)
=== RUN   ExampleDemorgan
--- PASS: ExampleDemorgan (0.02s)
=== RUN   ExampleFindModel2
--- FAIL: ExampleFindModel2 (0.02s)
got:
Solving part 1
x = 0
y = 1

Solving part 2
x = (- 1)
y = 0
want:
Solving part 1
x = 0
y = 1

Solving part 2
x = 0
y = 1
FAIL
exit status 1
FAIL    github.com/mitchellh/go-z3      0.501s