tests/sav/test_substring.sav

   1 substring: toto
   2 substring_from: toto.nit
   3 has_substring: true
   4 has_substring: true
   5 has_substring: false
   6 has_prefix: true
   7 has_prefix: false
   8 has_suffix: true
   9 has_suffix: false