Код: Выделить всё
int x=7;
assume (x==7);//if not right a red error will appear and program will end.
(Я хочу использовать ее для отладки)
Подробнее здесь: https://stackoverflow.com/questions/650 ... ssumptions
Код: Выделить всё
int x=7;
assume (x==7);//if not right a red error will appear and program will end.