=== is related to: S3039

=== on 10 Oct 2014, 14:29:35 Freddy Mallet wrote:
"Clumsy" tag @Ann ? :)

=== on 21 Oct 2014, 15:41:13 Nicolas Peru wrote:
 Shouldn't this be readability tagged ?

=== on 22 Oct 2014, 11:41:27 Ann Campbell wrote:
\[~nicolas.peru] for the most part we don't have tags that correspond to SQALE characteristics. 

=== on 3 Jul 2019, 15:14:28 Tibor Blenessy wrote:
``++String.contains++`` idea inspiration is from https://twitter.com/gmuecke/status/1140487680758833152[https://twitter.com/gmuecke/status/1140487680758833152  ]


Ideally, we would handle such cases with symbolic execution, but we can catch such trivial cases by simple pattern matching until we get there.

