Test cases for string notation.
Passed
Robbert Krebbers
created pipeline for commit
1c845125
, finished
Related merge request !568 to merge robbert/string_notation
2 minutes 48 seconds, queued for 3 seconds