Проверка спина - неопределенная ссылка на случайные и srandom

Question

В настоящее время я изучаю Promela/Spin. Проблема в том, что я не могу проверить свои программы.

Я создаю файлы с панорамированием: spin_64bits.exe -a x.pr --- все в порядке, пока здесь.

Теперь, когда я пытаюсь скомпилировать pan.c через GCC pan.c (ССАГПЗ -o пан pan.c, что угодно), я получаю сообщение об ошибке, что есть неопределенные ссылки на srandom и вкось.

Примечание: он работает, когда я обмениваюсь с srand() и rand() соответственно, но, честно говоря, я не хочу открывать pan.c и редактировать его каждый раз, когда хочу запустить проверку.

Должен ли я использовать другой компилятор, возможно? Я использую MinGW.

Answer 1

Кажется, что один или другой человек натыкается на это сообщение, поэтому я могу также сделать ответ, который работал для меня более заметным.

Перейти к вам MinGW папки, поиск stdlib.h (C: \ MinGW \ включать) и типа (где-то по другим #defines, например: ниже #include < _mingw.h>):

#define random rand 
#define srandom srand