You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Mar 8, 2024. It is now read-only.
Currently, we generate tests that give all kinds of random input to the 'free variables' of a discovered pattern. However, these free variables can have certain properties in the original project where a pattern is found (e.g. non-null). In the case a variable has a non-null guarantee, but we still give null as input, the test-pattern combination is not representative for real life use.
The text was updated successfully, but these errors were encountered:
Currently, we generate tests that give all kinds of random input to the 'free variables' of a discovered pattern. However, these free variables can have certain properties in the original project where a pattern is found (e.g. non-null). In the case a variable has a non-null guarantee, but we still give null as input, the test-pattern combination is not representative for real life use.
The text was updated successfully, but these errors were encountered: