search

thomasjball / PyExZ3

Python Exploration with Z3
Other
323 stars 50 forks source link

Example: SymbolicInteger < int subtype check #6

Closed thpani closed 10 years ago

thpani commented 10 years ago

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