forked from cores/microwatt
parent
1d5e8c2eb4
commit
06392e7eaa
@ -1,19 +1,19 @@
|
|||||||
package glibc_random_helpers is
|
package glibc_random_helpers is
|
||||||
procedure srand (v : integer);
|
procedure srand (v : integer);
|
||||||
attribute foreign of srand : procedure is "VHPIDIRECT srand";
|
attribute foreign of srand : procedure is "VHPIDIRECT srand";
|
||||||
|
|
||||||
function random return integer;
|
function random return integer;
|
||||||
attribute foreign of random : function is "VHPIDIRECT random";
|
attribute foreign of random : function is "VHPIDIRECT random";
|
||||||
end glibc_random_helpers;
|
end glibc_random_helpers;
|
||||||
|
|
||||||
package body glibc_random_helpers is
|
package body glibc_random_helpers is
|
||||||
procedure srand (v : integer) is
|
procedure srand (v : integer) is
|
||||||
begin
|
begin
|
||||||
assert false severity failure;
|
assert false severity failure;
|
||||||
end srand;
|
end srand;
|
||||||
|
|
||||||
function random return integer is
|
function random return integer is
|
||||||
begin
|
begin
|
||||||
assert false severity failure;
|
assert false severity failure;
|
||||||
end random;
|
end random;
|
||||||
end glibc_random_helpers;
|
end glibc_random_helpers;
|
||||||
|
Loading…
Reference in New Issue