about summary refs log tree commit diff stats
path: root/arch/arch.py
diff options
context:
space:
mode:
authorTheofilos Augoustis <theofilos.augoustis@gmail.com>2023-10-11 16:21:21 +0200
committerTheofilos Augoustis <theofilos.augoustis@gmail.com>2023-10-11 16:21:21 +0200
commit69c55d68d68c00007afa1af76a1d06f74ee72fe6 (patch)
tree991b92b4a5ba447b9fb5f77db4377bd9d14fbdf9 /arch/arch.py
parentb9c08cadc158b18d7cab14a830a9e11f590ec7bd (diff)
downloadfocaccia-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.py6
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