diff options
author | Jeremy Johnson <jeremy.johnson@arm.com> | 2021-12-14 16:34:05 +0000 |
---|---|---|
committer | Jeremy Johnson <jeremy.johnson@arm.com> | 2022-01-06 11:38:19 +0000 |
commit | 2ec3494060ffdafec072fe1b2099a8177b8eca6a (patch) | |
tree | fbe9d2dfdc4abeff9ba374a90065b7ed98e97509 /scripts/xunit | |
parent | a1d49853082f5454144209c1d95dc9203f510746 (diff) | |
download | reference_model-2ec3494060ffdafec072fe1b2099a8177b8eca6a.tar.gz |
Reorganize verif and create packages
Split generator and runner scripts
Add package setup
Add py-dev-env.sh/.bash to allow editing source files during dev
Update README.md with installation info
Signed-off-by: Jeremy Johnson <jeremy.johnson@arm.com>
Change-Id: I172fe426d99e2e9aeeacedc8b8f3b6a79c8bd39d
Diffstat (limited to 'scripts/xunit')
-rw-r--r-- | scripts/xunit/__init__.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/xunit/__init__.py b/scripts/xunit/__init__.py new file mode 100644 index 0000000..39e9ecc --- /dev/null +++ b/scripts/xunit/__init__.py @@ -0,0 +1,3 @@ +"""Namespace.""" +# Copyright (c) 2021-2022 Arm Limited. +# SPDX-License-Identifier: Apache-2.0 |