diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-10-11 16:21:21 +0200 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2023-10-11 16:21:21 +0200 |
| commit | 69c55d68d68c00007afa1af76a1d06f74ee72fe6 (patch) | |
| tree | 991b92b4a5ba447b9fb5f77db4377bd9d14fbdf9 /arch/arch.py | |
| parent | b9c08cadc158b18d7cab14a830a9e11f590ec7bd (diff) | |
| download | focaccia-69c55d68d68c00007afa1af76a1d06f74ee72fe6.tar.gz focaccia-69c55d68d68c00007afa1af76a1d06f74ee72fe6.zip | |
Refactor file structure
- main.py: focaccia user-interface - snapshot.py: state trace snapshots handling - compare.py: snapshot comparison algorithms - run.py: native execution tracer - arancini.py: Arancini log handling - arch/: per-architecture abstractions Co-authored-by: Theofilos Augoustis <theofilos.augoustis@gmail.com> Co-authored-by: Nicola Crivellin <nicola.crivellin98@gmail.com>
Diffstat (limited to 'arch/arch.py')
| -rw-r--r-- | arch/arch.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/arch/arch.py b/arch/arch.py new file mode 100644 index 0000000..36a4e3f --- /dev/null +++ b/arch/arch.py @@ -0,0 +1,6 @@ +class Arch(): + def __init__(self, regnames: list[str]): + self.regnames = regnames + + def __eq__(self, other): + return self.regnames == other.regnames |