diff options
Diffstat (limited to 'src/allocators/hoard.py')
| -rw-r--r-- | src/allocators/hoard.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/allocators/hoard.py b/src/allocators/hoard.py index f18fcb4..ded28e4 100644 --- a/src/allocators/hoard.py +++ b/src/allocators/hoard.py @@ -6,6 +6,7 @@ sources = src.allocator.Allocator_Sources("Hoard", retrieve_cmds=["git clone https://github.com/emeryberger/Hoard.git"], reset_cmds=["git stash"]) + class Hoard (src.allocator.Allocator): """Hoard definition for allocbench""" def __init__(self, name, **kwargs): @@ -16,3 +17,6 @@ class Hoard (src.allocator.Allocator): kwargs["patches"] = ["{patchdir}/hoard_make.patch"] super().__init__(name, **kwargs) + + +hoard = Hoard("Hoard") |