Samuel Thibault 3abd76c814 shutdown StarPU if it was successfully started but the devices we wanted are not there лет назад: 11
..
init_run_deinit.c 804e6f8233 properly test for task termination лет назад: 12
run_driver.c 3abd76c814 shutdown StarPU if it was successfully started but the devices we wanted are not there лет назад: 11