Set `Hint Mode` for `FinSet`. (!379) · Merge requests · Iris / stdpp

Merged Robbert Krebbers requested to merge robbert/issue_139 into master 2 years ago

Status	Pipeline	Stages
Passed 00:05:29 2 years ago	changelog consistency #65928 379 54a2f992 merge request	Stage: build	Download artifacts No artifacts found
Canceled 00:02:43 2 years ago	CHANGELOG. #65926 379 51d02793 merge request	Stage: build	Download artifacts No artifacts found
Passed 00:04:22 2 years ago	Add test case. #65902 379 87779ac4 merge request	Stage: build	Download artifacts No artifacts found

Set `Hint Mode` for `FinSet`.