fix random manager not seeded in some case (#10)

Summary:
Pull Request resolved: #10

In facto, some callsite directly use the [facto rand manager as global var](https://fburl.com/code/2fqili99) . Because those callsites just use the global var, they does not seed the RandomManager.

Added a simple option to seed when initializing the RandomManager object.

**Better designs can be shipped in following diffs. Please ship to solve flakiness on Falcon G3 CI**

Reviewed By: hsharma35, manuelcandales

Differential Revision: D75302905

fbshipit-source-id: 33de46a168c6e5ec1df0c48e302d846dfa586be1

Author: zonglinpeng

facto/inputgen/argument/engine.py

@@ -12,7 +12,7 @@
 from facto.inputgen.attribute.model import Attribute
 from facto.inputgen.attribute.solve import AttributeSolver
 from facto.inputgen.specs.model import Constraint, ConstraintSuffix
-from facto.inputgen.utils.random_manager import random_manager as rm
+from facto.inputgen.utils.random_manager import seeded_random_manager as rm
 from facto.inputgen.variable.type import ScalarDtype
 
 

facto/inputgen/argument/gen.py

@@ -9,7 +9,7 @@
 
 import torch
 from facto.inputgen.argument.engine import MetaArg
-from facto.inputgen.utils.random_manager import random_manager
+from facto.inputgen.utils.random_manager import seeded_random_manager
 from facto.inputgen.variable.gen import VariableGenerator
 from facto.inputgen.variable.space import VariableSpace
 from torch.testing._internal.common_dtype import floating_types, integral_types
@@ -42,7 +42,7 @@ def gen(self):
         )
 
     def get_random_tensor(self, size, dtype, high=None, low=None):
-        torch_rng = random_manager.get_torch()
+        torch_rng = seeded_random_manager.get_torch()
 
         if low is None and high is None:
             low = -100

facto/inputgen/utils/random_manager.py

@@ -31,3 +31,6 @@ def get_torch(self):
 
 
 random_manager = RandomManager()
+seeded_random_manager = RandomManager()
+# 1792 is a random seed that was used to generate the random inputs for the Facto benchmark results
+seeded_random_manager.seed(1792)

facto/inputgen/variable/gen.py

@@ -7,7 +7,7 @@
 import math
 from typing import Any, List, Optional, Set, Union
 
-from facto.inputgen.utils.random_manager import random_manager as rm
+from facto.inputgen.utils.random_manager import seeded_random_manager as rm
 from facto.inputgen.variable.constants import BOUND_ON_INF, INT64_MAX, INT64_MIN
 from facto.inputgen.variable.space import Interval, Intervals, VariableSpace
 from facto.inputgen.variable.type import sort_values_of_type

facto/specdb/function.py

@@ -5,7 +5,7 @@
 # LICENSE file in the root directory of this source tree.
 
 import torch
-from facto.inputgen.utils.random_manager import random_manager as rm
+from facto.inputgen.utils.random_manager import seeded_random_manager as rm
 from facto.inputgen.variable.type import ScalarDtype
 from facto.inputgen.variable.utils import nextdown, nextup