Is your feature request related to a problem? Please describe.
The compose() error message, Cannot compose contracts due to feedback, should provide helpful information about the problem.
Describe the solution you'd like
In general, we compose two contracts, A and B. Helpful information would identify the subsets of assumptions/guarantees from A and B that cause the feedback. If the implicated constraints have been reduced from their original form, then we need to also provide information about both the reduced form that causes the feedback and their provenance to original constraints in A and B.
Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.
Additional context
Add any other context or screenshots about the feature request here.
Is your feature request related to a problem? Please describe.
The
compose()
error message,Cannot compose contracts due to feedback
, should provide helpful information about the problem.Describe the solution you'd like
In general, we compose two contracts,
A
andB
. Helpful information would identify the subsets of assumptions/guarantees fromA
andB
that cause the feedback. If the implicated constraints have been reduced from their original form, then we need to also provide information about both the reduced form that causes the feedback and their provenance to original constraints inA
andB
.Describe alternatives you've considered A clear and concise description of any alternative solutions or features you've considered.
Additional context Add any other context or screenshots about the feature request here.