Skip to content
This repository has been archived by the owner on Jul 5, 2023. It is now read-only.
/ veriwell Public archive

Commit

Permalink
default initial seed should be 0
Browse files Browse the repository at this point in the history
  • Loading branch information
markhummel committed May 25, 2008
1 parent 290cbfd commit fe5b1d3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/systask.cc
Original file line number Diff line number Diff line change
Expand Up @@ -170,7 +170,7 @@ struct sysfunction_info sysfunction_info[] = {
};

tree current_tf_instance; /* node of systask being executed or compiled */
int seed = 1; /* seed for random number generator */
int seed = 0; /* seed for random number generator */

extern s_tfcell veriusertfs[]; /* Hooks into user tfs */
extern s_tfcell verisystfs[]; /* Hooks into internal tfs */
Expand Down

0 comments on commit fe5b1d3

Please sign in to comment.