session verker = NTP4Verif +
sessions
  "Why3STD"
theories
  "Axiomatic3_Axiomatic3"
  "A_Ctype_A_Ctype"
  "Compound_Compound"
  "A_Strlen_A_Strlen"
  "A_Strnlen_A_Strnlen"
  "A_StrnCmp_A_StrnCmp"
  "A_IntBase_A_IntBase"
  "A_HexToBin_A_HexToBin"
  "A_Strchrnul_A_Strchrnul"
  "A_StrCmp_A_StrCmp"
  "A_MatchString_A_MatchString"
  "A_SysfsStr_A_SysfsStr"
  "Globals_Globals"
  "A_StrSpn_A_StrSpn"
  "Axiomatic5_Axiomatic5"
  "A_StrCSpn_A_StrCSpn"
  "A_Strchr_A_Strchr"
  "A_CheckBytes8_A_CheckBytes8"
  "A_StrPBrk_A_StrPBrk"
  "A_SkipSpaces_A_SkipSpaces"
  "A_StrStr_A_StrStr"
