T
tarkyss
Guest
Jeg skrev et simpelt c program
# include ". / veriuser.h"
# include "acc_user.h"
# include "stdio.h"
# include "stdlib.h"
# include "time.h"
int myrandom () (
time_t * nowtime;
tid (nowtime);
srand ((* nowtime));
printf ( "tiden er% d \ nDen tilfældigt er% d \ n", (* nowtime), rand ()% 128);
)
s_tfcell veriusertfs [] = (
(usertask, 0, 0, 0, myrandom, 0, "$ myrandom"),
(0) / / sidste linje skal være 0
);
når de kører gcc og LD, ingen advarsel, ingen fejl
men når jeg kører
vsim-c test-pli myrandom.sl
sagde det, systemet opgave $ myrandom er ikke defineret.
hvorfor?
# include ". / veriuser.h"
# include "acc_user.h"
# include "stdio.h"
# include "stdlib.h"
# include "time.h"
int myrandom () (
time_t * nowtime;
tid (nowtime);
srand ((* nowtime));
printf ( "tiden er% d \ nDen tilfældigt er% d \ n", (* nowtime), rand ()% 128);
)
s_tfcell veriusertfs [] = (
(usertask, 0, 0, 0, myrandom, 0, "$ myrandom"),
(0) / / sidste linje skal være 0
);
når de kører gcc og LD, ingen advarsel, ingen fejl
men når jeg kører
vsim-c test-pli myrandom.sl
sagde det, systemet opgave $ myrandom er ikke defineret.
hvorfor?