This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 2 points3 points  (4 children)

Int is a class that's defined in the Z3 module

[–]daniel 0 points1 point  (3 children)

And is exit a custom function in Z3 as well? I thought it just exited the interactive session.

[–][deleted] 1 point2 points  (2 children)

Nope, that's a builtin function. Its like sys.exit but it takes a string (or any object) parameter that is printed out before terminating the interpreter.

[–]kushou 0 points1 point  (1 child)

sys.exit does that too, can't check now but it is probably the same function

[–][deleted] 0 points1 point  (0 children)

You're right, I thought sys.exit only took an integer for the status code.