Primitive value tests - the order in which the constraints are chosen is hard to determine, since it depends on the Z3 results which may be unexpected (when constraint is x > 0 it may return 874651210 instead of 1). The assertions are changed so that they check for the executed paths in any order.
Heap graph tests - due to refactoring into another namespace the test classes were not found, fixed the new namespace.
Input model tests - they were using old version of passing information about input models (using xml serialized symbolic model and which are stored in a file which is specified using configuration), changed to the current UserModel classes which are passed directly as an argument of the IExplorer.Run method. And added capability of type guessing when parsing the UserModel, user must not specify the type of an object if it could be guessed from the context.
Fixed couple of broken tests:
x > 0
it may return874651210
instead of1
). The assertions are changed so that they check for the executed paths in any order.UserModel
classes which are passed directly as an argument of theIExplorer.Run
method. And added capability of type guessing when parsing theUserModel
, user must not specify the type of an object if it could be guessed from the context.