thomasjball/PyExZ3 — pull request #6 by thpani (2014-08-07 11:55:17+00:00)
Title: Example: SymbolicInteger < int subtype check

Example to check the SymbolicInteger < int subtype relation via concolic execution.