Add test case.
Passed
Robbert Krebbers
created pipeline for commit
dabf8fc1
, finished
Related merge request !519 to merge robbert/lt_wf_projected
4 minutes 58 seconds, queued for 0 seconds