session execute_tests = NTP4Verif +
theories
  "execute_tests_Int63Test_t4qtvc"
  "execute_tests_Int63Test_t5qtvc"
  "execute_tests_Int63Test_t6qtvc"
  "execute_tests_Int63Test_t10qtvc"
  "execute_tests_Int63Test_t11qtvc"
  "execute_tests_Int63Test_t12qtvc"
  "execute_tests_Int63Test_t13qtvc"
  "execute_tests_Int63Test_t14qtvc"
  "execute_tests_Int31Test_t4qtvc"
  "execute_tests_Int31Test_t5qtvc"
  "execute_tests_Int31Test_t6qtvc"
  "execute_tests_Int31Test_t10qtvc"
  "execute_tests_Int31Test_t11qtvc"
  "execute_tests_Int31Test_t12qtvc"
  "execute_tests_Int31Test_t13qtvc"
  "execute_tests_Int31Test_t14qtvc"
  "execute_tests_ByteTest_t4qtvc"
  "execute_tests_ByteTest_t5qtvc"
  "execute_tests_ByteTest_t6qtvc"
  "execute_tests_ByteTest_t10qtvc"
  "execute_tests_ByteTest_t11qtvc"
  "execute_tests_ByteTest_t12qtvc"
  "execute_tests_ByteTest_t13qtvc"
  "execute_tests_ByteTest_t14qtvc"
  "execute_tests_TestArrays_t1qtvc"
  "execute_tests_TestArrays_t2qtvc"
