Add test case.
Passed
Robbert Krebbers
created pipeline for commit
87779ac4
, finished
Related merge request !379 to merge robbert/issue_139
4 minutes 22 seconds, queued for 5 seconds