session tests = NTP4Verif +
sessions
  "Why3STD"
theories
  "c_extraction_R"
  "lemma_functions_LemmaFunction1"
  "partial_S"
  "rac_Local"
  "test_elim_UnusedAbs"
  "array_test_TestArray"
  "execute_tests_Int63Test"
  "hashtbl_test_TestHashtbl"
  "int32_test_TestInt32"
  "matrix_test_TestMatrix"
  "pqueue_test_Test"
  "queue_test_Test"
  "random_test_Test"
  "stack_test_Test"
