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

Question

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

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

Теперь, когда я пытаюсь скомпилировать pan.c через gcc pan.c (gcc -o pan pan.c, что угодно), я получаю ошибку, что есть неопределенные ссылки на srandom и random.

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

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

Answer 1

Изменить: см. MaxGhostкомментарий для лучшей практики ("добавьте эти флаги компиляции в ваш проект: -Dsrandom=srand-Drandom=rand")

---

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

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

#define random rand
#define srandom srand