TEXT   215
extern void verification error
Guest on 23rd December 2024 02:35:40 AM


  1. extern void __VERIFIER_error() __attribute__ ((__noreturn__));
Raw Paste

Login or Register to edit or fork this paste. It's free.