Прерывает выполнение контракта, если pred == false; передаётся числовой код ошибки code (eosio_assert_code).
Пример:
См. определение в файле check.hpp строка 140