Size: a a a

2021 February 18

A

Alex Ф-ф-фэils!🌠︙... in C++ Together 2.0
В тестовом логе такое что-то было:
test case "check server in<cuda_mpi_test_environment>  failed!
REQUIRE(test_environment.check_prerequisites() = false) is not correct!
test_environment.failed_prerequisite() :
-- CUDA ERROR:
источник

A

Alex Ф-ф-фэils!🌠︙... in C++ Together 2.0
А там mpi падал
источник

W

Wild_Wind in C++ Together 2.0
Alex Ф-ф-фэils!🌠︙
А там mpi падал
Кек.
источник

W

Wild_Wind in C++ Together 2.0
Бывает.
Тут хорошо тегирование на типах помогает.
источник

A

Alex Ф-ф-фэils!🌠︙... in C++ Together 2.0
Правильный лог:
test case "check server in<cuda_mpi_test_environment>  failed!
REQUIRE(test_environment.check_prerequisites() = false) is not correct!
test_environment.failed_prerequisite() :
-- MPI ERROR: YOU FORGET TO INIT THE MPI ENVIRONMENT (mpiexec doesn't found in PATH)
источник

W

Wild_Wind in C++ Together 2.0
Чтоб конполятор ругался, что ты mpi_bool_flag c cuda_bool_flag сравниваешь.
источник

A

Alex Ф-ф-фэils!🌠︙... in C++ Together 2.0
Wild_Wind
Бывает.
Тут хорошо тегирование на типах помогает.
Ага, там у меня оно пишется тоже, я просто т по памяти накидал
источник

A

Alex Ф-ф-фэils!🌠︙... in C++ Together 2.0
Wild_Wind
Чтоб конполятор ругался, что ты mpi_bool_flag c cuda_bool_flag сравниваешь.
А, можно да
источник

A

Alex Ф-ф-фэils!🌠︙... in C++ Together 2.0
Ну там тупо забавная очепятка
источник

A

Alex Ф-ф-фэils!🌠︙... in C++ Together 2.0
Если бы сделал компоновщик произвольного числа типов, то не сел бы жопой
источник

A

Alex Ф-ф-фэils!🌠︙... in C++ Together 2.0
Но я не успел дописать его
источник

W

Wild_Wind in C++ Together 2.0
Wild_Wind
Чтоб конполятор ругался, что ты mpi_bool_flag c cuda_bool_flag сравниваешь.
Так в Аде всегда делается. Очень удобно, когда ты на типах "верифицируешь" (это не верификация, но типа того) логику.
источник

A

Alex Ф-ф-фэils!🌠︙... in C++ Together 2.0
Wild_Wind
Так в Аде всегда делается. Очень удобно, когда ты на типах "верифицируешь" (это не верификация, но типа того) логику.
Да, тегирование типов темв
источник

W

Wild_Wind in C++ Together 2.0
Alex Ф-ф-фэils!🌠︙
Ну там тупо забавная очепятка
Бывает, да.
источник

A

Alex Ф-ф-фэils!🌠︙... in C++ Together 2.0
Вон @oficsu рассуждал про  тегирование вектора типа если он сортирован
источник

A

Alex Ф-ф-фэils!🌠︙... in C++ Together 2.0
*на этапе компиляции
источник

A

Alex Ф-ф-фэils!🌠︙... in C++ Together 2.0
И типа если ты пушбэкнул, то ой все, сломался инвариант
источник

W

Wild_Wind in C++ Together 2.0
Alex Ф-ф-фэils!🌠︙
Вон @oficsu рассуждал про  тегирование вектора типа если он сортирован
Ага, я помню.
источник

W

Wild_Wind in C++ Together 2.0
Alex Ф-ф-фэils!🌠︙
И типа если ты пушбэкнул, то ой все, сломался инвариант
Завтипы на минималках.
Когда типы зависят от значения(состояния).
источник

W

Wild_Wind in C++ Together 2.0
Кста, в компилтайме на плюсах оно в теории реализуемо.
источник