Skip to content
Snippets Groups Projects
Commit 8971575c authored by dtc's avatar dtc
Browse files

Restrict the flushing of result type checks to safe policy because the

selection of a template for results readers assumes the type check is
done (uses the derived type which is the intersection of the proven
and asserted types).
parent 5e0f4923
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment