Merge branch 'nix-docker-build' into nix-docker-build-ci

UQ-PAC · Dec 17, 2024 · 45caed6 · 45caed6
2 parents 19c0440 + 9073116
commit 45caed6
Show file tree

Hide file tree

Showing 311 changed files with 757 additions and 802 deletions.
diff --git a/src/test/.gitignore b/src/test/.gitignore
@@ -14,3 +14,5 @@ docker-hash-new
 !compiled.url.txt
 *.gz
 *.bz2
+*.xz
+*.zst
diff --git a/src/test/Makefile b/src/test/Makefile
@@ -24,9 +24,9 @@ $(SUBDIRS):
 # check with `md5sum -c compiled.md5sum` in src/test.
 .PHONY: compiled.md5sum
 compiled.md5sum:
-	find $(DIRS) -name 'md5sums' -exec cat '{}' + > compiled.md5sum
+	find $(DIRS) -name '*.md5sum' -exec cat '{}' + | sort -k2 > compiled.md5sum
 
-TARBALL := compiled.tar.bz2
+TARBALL := compiled.tar.zst
 
 $(TARBALL) docker-contents.txt &: compiled.md5sum
 	set -u; $$DOCKER_CMD hash > docker-contents.txt  # before compessing, make sure docker-contents.txt is up to date.

diff --git a/src/test/compiled.md5sum b/src/test/compiled.md5sum
diff --git a/src/test/compiled.url.txt b/src/test/compiled.url.txt
@@ -1,4 +1,4 @@
-https://files.catbox.moe/vy35tk.bz2
+https://files.catbox.moe/4ne2m1.zst
 
 # this file should have a URL as its first line
 # and a sha1sum as its last line. all other
@@ -9,4 +9,4 @@ https://files.catbox.moe/vy35tk.bz2
 # 
 # make sure to update both URL and sha1sum simultaneously.
 
-76172bd26b04f1ceb0aa1d5b698072aa97500c53  compiled.tar.bz2
+9bae8d55898d6715b27323de74954086de86d2cc  compiled.tar.zst
diff --git a/src/test/correct/arrays_simple/clang/md5sums → .../arrays_simple/clang/arrays_simple.md5sum b/src/test/correct/arrays_simple/clang/md5sums → .../arrays_simple/clang/arrays_simple.md5sum
diff --git a/...t/correct/basic_arrays_read/clang/md5sums → ...rrays_read/clang/basic_arrays_read.md5sum b/...t/correct/basic_arrays_read/clang/md5sums → ...rrays_read/clang/basic_arrays_read.md5sum
diff --git a/...rrect/basic_arrays_read/clang_pic/md5sums → ...s_read/clang_pic/basic_arrays_read.md5sum b/...rrect/basic_arrays_read/clang_pic/md5sums → ...s_read/clang_pic/basic_arrays_read.md5sum
diff --git a/...est/correct/basic_arrays_read/gcc/md5sums → ..._arrays_read/gcc/basic_arrays_read.md5sum b/...est/correct/basic_arrays_read/gcc/md5sums → ..._arrays_read/gcc/basic_arrays_read.md5sum
diff --git a/...correct/basic_arrays_read/gcc_pic/md5sums → ...ays_read/gcc_pic/basic_arrays_read.md5sum b/...correct/basic_arrays_read/gcc_pic/md5sums → ...ays_read/gcc_pic/basic_arrays_read.md5sum
diff --git a/.../correct/basic_arrays_write/clang/md5sums → ...ays_write/clang/basic_arrays_write.md5sum b/.../correct/basic_arrays_write/clang/md5sums → ...ays_write/clang/basic_arrays_write.md5sum
diff --git a/...rrect/basic_arrays_write/clang_O2/md5sums → ..._write/clang_O2/basic_arrays_write.md5sum b/...rrect/basic_arrays_write/clang_O2/md5sums → ..._write/clang_O2/basic_arrays_write.md5sum
diff --git a/...rect/basic_arrays_write/clang_pic/md5sums → ...write/clang_pic/basic_arrays_write.md5sum b/...rect/basic_arrays_write/clang_pic/md5sums → ...write/clang_pic/basic_arrays_write.md5sum
diff --git a/...st/correct/basic_arrays_write/gcc/md5sums → ...rrays_write/gcc/basic_arrays_write.md5sum b/...st/correct/basic_arrays_write/gcc/md5sums → ...rrays_write/gcc/basic_arrays_write.md5sum
diff --git a/...correct/basic_arrays_write/gcc_O2/md5sums → ...ys_write/gcc_O2/basic_arrays_write.md5sum b/...correct/basic_arrays_write/gcc_O2/md5sums → ...ys_write/gcc_O2/basic_arrays_write.md5sum
diff --git a/...orrect/basic_arrays_write/gcc_pic/md5sums → ...s_write/gcc_pic/basic_arrays_write.md5sum b/...orrect/basic_arrays_write/gcc_pic/md5sums → ...s_write/gcc_pic/basic_arrays_write.md5sum
diff --git a/...correct/basic_assign_assign/clang/md5sums → ...n_assign/clang/basic_assign_assign.md5sum b/...correct/basic_assign_assign/clang/md5sums → ...n_assign/clang/basic_assign_assign.md5sum
diff --git a/...ect/basic_assign_assign/clang_pic/md5sums → ...sign/clang_pic/basic_assign_assign.md5sum b/...ect/basic_assign_assign/clang_pic/md5sums → ...sign/clang_pic/basic_assign_assign.md5sum
diff --git a/...t/correct/basic_assign_assign/gcc/md5sums → ...ign_assign/gcc/basic_assign_assign.md5sum b/...t/correct/basic_assign_assign/gcc/md5sums → ...ign_assign/gcc/basic_assign_assign.md5sum
diff --git a/...orrect/basic_assign_assign/gcc_O2/md5sums → ..._assign/gcc_O2/basic_assign_assign.md5sum b/...orrect/basic_assign_assign/gcc_O2/md5sums → ..._assign/gcc_O2/basic_assign_assign.md5sum
diff --git a/...rrect/basic_assign_assign/gcc_pic/md5sums → ...assign/gcc_pic/basic_assign_assign.md5sum b/...rrect/basic_assign_assign/gcc_pic/md5sums → ...assign/gcc_pic/basic_assign_assign.md5sum
diff --git a/...rect/basic_assign_increment/clang/md5sums → ...ement/clang/basic_assign_increment.md5sum b/...rect/basic_assign_increment/clang/md5sums → ...ement/clang/basic_assign_increment.md5sum
diff --git a/.../basic_assign_increment/clang_pic/md5sums → ...t/clang_pic/basic_assign_increment.md5sum b/.../basic_assign_increment/clang_pic/md5sums → ...t/clang_pic/basic_assign_increment.md5sum
diff --git a/...orrect/basic_assign_increment/gcc/md5sums → ...crement/gcc/basic_assign_increment.md5sum b/...orrect/basic_assign_increment/gcc/md5sums → ...crement/gcc/basic_assign_increment.md5sum
diff --git a/...ect/basic_assign_increment/gcc_O2/md5sums → ...ment/gcc_O2/basic_assign_increment.md5sum b/...ect/basic_assign_increment/gcc_O2/md5sums → ...ment/gcc_O2/basic_assign_increment.md5sum
diff --git a/...ct/basic_assign_increment/gcc_pic/md5sums → ...ent/gcc_pic/basic_assign_increment.md5sum b/...ct/basic_assign_increment/gcc_pic/md5sums → ...ent/gcc_pic/basic_assign_increment.md5sum
diff --git a/.../basic_function_call_caller/clang/md5sums → ...r/clang/basic_function_call_caller.md5sum b/.../basic_function_call_caller/clang/md5sums → ...r/clang/basic_function_call_caller.md5sum
diff --git a/...sic_function_call_caller/clang_O2/md5sums → ...lang_O2/basic_function_call_caller.md5sum b/...sic_function_call_caller/clang_O2/md5sums → ...lang_O2/basic_function_call_caller.md5sum
diff --git a/...ic_function_call_caller/clang_pic/md5sums → ...ang_pic/basic_function_call_caller.md5sum b/...ic_function_call_caller/clang_pic/md5sums → ...ang_pic/basic_function_call_caller.md5sum
diff --git a/...ct/basic_function_call_caller/gcc/md5sums → ...ler/gcc/basic_function_call_caller.md5sum b/...ct/basic_function_call_caller/gcc/md5sums → ...ler/gcc/basic_function_call_caller.md5sum
diff --git a/...basic_function_call_caller/gcc_O2/md5sums → .../gcc_O2/basic_function_call_caller.md5sum b/...basic_function_call_caller/gcc_O2/md5sums → .../gcc_O2/basic_function_call_caller.md5sum
diff --git a/...asic_function_call_caller/gcc_pic/md5sums → ...gcc_pic/basic_function_call_caller.md5sum b/...asic_function_call_caller/gcc_pic/md5sums → ...gcc_pic/basic_function_call_caller.md5sum
diff --git a/.../basic_function_call_reader/clang/md5sums → ...r/clang/basic_function_call_reader.md5sum b/.../basic_function_call_reader/clang/md5sums → ...r/clang/basic_function_call_reader.md5sum
diff --git a/...sic_function_call_reader/clang_O2/md5sums → ...lang_O2/basic_function_call_reader.md5sum b/...sic_function_call_reader/clang_O2/md5sums → ...lang_O2/basic_function_call_reader.md5sum
diff --git a/...ic_function_call_reader/clang_pic/md5sums → ...ang_pic/basic_function_call_reader.md5sum b/...ic_function_call_reader/clang_pic/md5sums → ...ang_pic/basic_function_call_reader.md5sum
diff --git a/...ct/basic_function_call_reader/gcc/md5sums → ...der/gcc/basic_function_call_reader.md5sum b/...ct/basic_function_call_reader/gcc/md5sums → ...der/gcc/basic_function_call_reader.md5sum
diff --git a/...basic_function_call_reader/gcc_O2/md5sums → .../gcc_O2/basic_function_call_reader.md5sum b/...basic_function_call_reader/gcc_O2/md5sums → .../gcc_O2/basic_function_call_reader.md5sum
diff --git a/...asic_function_call_reader/gcc_pic/md5sums → ...gcc_pic/basic_function_call_reader.md5sum b/...asic_function_call_reader/gcc_pic/md5sums → ...gcc_pic/basic_function_call_reader.md5sum
diff --git a/...est/correct/basic_lock_read/clang/md5sums → ...ic_lock_read/clang/basic_lock_read.md5sum b/...est/correct/basic_lock_read/clang/md5sums → ...ic_lock_read/clang/basic_lock_read.md5sum
diff --git a/.../correct/basic_lock_read/clang_O2/md5sums → ...lock_read/clang_O2/basic_lock_read.md5sum b/.../correct/basic_lock_read/clang_O2/md5sums → ...lock_read/clang_O2/basic_lock_read.md5sum
diff --git a/...correct/basic_lock_read/clang_pic/md5sums → ...ock_read/clang_pic/basic_lock_read.md5sum b/...correct/basic_lock_read/clang_pic/md5sums → ...ock_read/clang_pic/basic_lock_read.md5sum
diff --git a/src/test/correct/basic_lock_read/gcc/md5sums → ...asic_lock_read/gcc/basic_lock_read.md5sum b/src/test/correct/basic_lock_read/gcc/md5sums → ...asic_lock_read/gcc/basic_lock_read.md5sum
diff --git a/...st/correct/basic_lock_read/gcc_O2/md5sums → ...c_lock_read/gcc_O2/basic_lock_read.md5sum b/...st/correct/basic_lock_read/gcc_O2/md5sums → ...c_lock_read/gcc_O2/basic_lock_read.md5sum
diff --git a/...t/correct/basic_lock_read/gcc_pic/md5sums → ..._lock_read/gcc_pic/basic_lock_read.md5sum b/...t/correct/basic_lock_read/gcc_pic/md5sums → ..._lock_read/gcc_pic/basic_lock_read.md5sum
diff --git a/...ct/basic_lock_security_read/clang/md5sums → ...ead/clang/basic_lock_security_read.md5sum b/...ct/basic_lock_security_read/clang/md5sums → ...ead/clang/basic_lock_security_read.md5sum
diff --git a/...basic_lock_security_read/clang_O2/md5sums → .../clang_O2/basic_lock_security_read.md5sum b/...basic_lock_security_read/clang_O2/md5sums → .../clang_O2/basic_lock_security_read.md5sum
diff --git a/...asic_lock_security_read/clang_pic/md5sums → ...clang_pic/basic_lock_security_read.md5sum b/...asic_lock_security_read/clang_pic/md5sums → ...clang_pic/basic_lock_security_read.md5sum
diff --git a/...rect/basic_lock_security_read/gcc/md5sums → ..._read/gcc/basic_lock_security_read.md5sum b/...rect/basic_lock_security_read/gcc/md5sums → ..._read/gcc/basic_lock_security_read.md5sum
diff --git a/...t/basic_lock_security_read/gcc_O2/md5sums → ...ad/gcc_O2/basic_lock_security_read.md5sum b/...t/basic_lock_security_read/gcc_O2/md5sums → ...ad/gcc_O2/basic_lock_security_read.md5sum
diff --git a/.../basic_lock_security_read/gcc_pic/md5sums → ...d/gcc_pic/basic_lock_security_read.md5sum b/.../basic_lock_security_read/gcc_pic/md5sums → ...d/gcc_pic/basic_lock_security_read.md5sum
diff --git a/...t/basic_lock_security_write/clang/md5sums → ...te/clang/basic_lock_security_write.md5sum b/...t/basic_lock_security_write/clang/md5sums → ...te/clang/basic_lock_security_write.md5sum
diff --git a/...asic_lock_security_write/clang_O2/md5sums → ...clang_O2/basic_lock_security_write.md5sum b/...asic_lock_security_write/clang_O2/md5sums → ...clang_O2/basic_lock_security_write.md5sum
diff --git a/...sic_lock_security_write/clang_pic/md5sums → ...lang_pic/basic_lock_security_write.md5sum b/...sic_lock_security_write/clang_pic/md5sums → ...lang_pic/basic_lock_security_write.md5sum
diff --git a/...ect/basic_lock_security_write/gcc/md5sums → ...rite/gcc/basic_lock_security_write.md5sum b/...ect/basic_lock_security_write/gcc/md5sums → ...rite/gcc/basic_lock_security_write.md5sum
diff --git a/.../basic_lock_security_write/gcc_O2/md5sums → ...e/gcc_O2/basic_lock_security_write.md5sum b/.../basic_lock_security_write/gcc_O2/md5sums → ...e/gcc_O2/basic_lock_security_write.md5sum
diff --git a/...basic_lock_security_write/gcc_pic/md5sums → .../gcc_pic/basic_lock_security_write.md5sum b/...basic_lock_security_write/gcc_pic/md5sums → .../gcc_pic/basic_lock_security_write.md5sum
diff --git a/...t/correct/basic_lock_unlock/clang/md5sums → ...ock_unlock/clang/basic_lock_unlock.md5sum b/...t/correct/basic_lock_unlock/clang/md5sums → ...ock_unlock/clang/basic_lock_unlock.md5sum
diff --git a/...rrect/basic_lock_unlock/clang_pic/md5sums → ...unlock/clang_pic/basic_lock_unlock.md5sum b/...rrect/basic_lock_unlock/clang_pic/md5sums → ...unlock/clang_pic/basic_lock_unlock.md5sum
diff --git a/...est/correct/basic_lock_unlock/gcc/md5sums → ..._lock_unlock/gcc/basic_lock_unlock.md5sum b/...est/correct/basic_lock_unlock/gcc/md5sums → ..._lock_unlock/gcc/basic_lock_unlock.md5sum
diff --git a/.../correct/basic_lock_unlock/gcc_O2/md5sums → ...ck_unlock/gcc_O2/basic_lock_unlock.md5sum b/.../correct/basic_lock_unlock/gcc_O2/md5sums → ...ck_unlock/gcc_O2/basic_lock_unlock.md5sum
diff --git a/...correct/basic_lock_unlock/gcc_pic/md5sums → ...k_unlock/gcc_pic/basic_lock_unlock.md5sum b/...correct/basic_lock_unlock/gcc_pic/md5sums → ...k_unlock/gcc_pic/basic_lock_unlock.md5sum
diff --git a/...t/correct/basic_loop_assign/clang/md5sums → ...oop_assign/clang/basic_loop_assign.md5sum b/...t/correct/basic_loop_assign/clang/md5sums → ...oop_assign/clang/basic_loop_assign.md5sum
diff --git a/...rrect/basic_loop_assign/clang_pic/md5sums → ...assign/clang_pic/basic_loop_assign.md5sum b/...rrect/basic_loop_assign/clang_pic/md5sums → ...assign/clang_pic/basic_loop_assign.md5sum
diff --git a/...est/correct/basic_loop_assign/gcc/md5sums → ..._loop_assign/gcc/basic_loop_assign.md5sum b/...est/correct/basic_loop_assign/gcc/md5sums → ..._loop_assign/gcc/basic_loop_assign.md5sum
diff --git a/.../correct/basic_loop_assign/gcc_O2/md5sums → ...op_assign/gcc_O2/basic_loop_assign.md5sum b/.../correct/basic_loop_assign/gcc_O2/md5sums → ...op_assign/gcc_O2/basic_loop_assign.md5sum
diff --git a/...correct/basic_loop_assign/gcc_pic/md5sums → ...p_assign/gcc_pic/basic_loop_assign.md5sum b/...correct/basic_loop_assign/gcc_pic/md5sums → ...p_assign/gcc_pic/basic_loop_assign.md5sum
diff --git a/.../basic_operation_evaluation/clang/md5sums → ...n/clang/basic_operation_evaluation.md5sum b/.../basic_operation_evaluation/clang/md5sums → ...n/clang/basic_operation_evaluation.md5sum
diff --git a/...ct/basic_operation_evaluation/gcc/md5sums → ...ion/gcc/basic_operation_evaluation.md5sum b/...ct/basic_operation_evaluation/gcc/md5sums → ...ion/gcc/basic_operation_evaluation.md5sum
diff --git a/...rrect/basic_sec_policy_read/clang/md5sums → ...y_read/clang/basic_sec_policy_read.md5sum b/...rrect/basic_sec_policy_read/clang/md5sums → ...y_read/clang/basic_sec_policy_read.md5sum
diff --git a/...ct/basic_sec_policy_read/clang_O2/md5sums → ...ead/clang_O2/basic_sec_policy_read.md5sum b/...ct/basic_sec_policy_read/clang_O2/md5sums → ...ead/clang_O2/basic_sec_policy_read.md5sum
diff --git a/...t/basic_sec_policy_read/clang_pic/md5sums → ...ad/clang_pic/basic_sec_policy_read.md5sum b/...t/basic_sec_policy_read/clang_pic/md5sums → ...ad/clang_pic/basic_sec_policy_read.md5sum
diff --git a/...correct/basic_sec_policy_read/gcc/md5sums → ...icy_read/gcc/basic_sec_policy_read.md5sum b/...correct/basic_sec_policy_read/gcc/md5sums → ...icy_read/gcc/basic_sec_policy_read.md5sum
diff --git a/...rect/basic_sec_policy_read/gcc_O2/md5sums → ..._read/gcc_O2/basic_sec_policy_read.md5sum b/...rect/basic_sec_policy_read/gcc_O2/md5sums → ..._read/gcc_O2/basic_sec_policy_read.md5sum
diff --git a/...ect/basic_sec_policy_read/gcc_pic/md5sums → ...read/gcc_pic/basic_sec_policy_read.md5sum b/...ect/basic_sec_policy_read/gcc_pic/md5sums → ...read/gcc_pic/basic_sec_policy_read.md5sum
diff --git a/...rect/basic_sec_policy_write/clang/md5sums → ...write/clang/basic_sec_policy_write.md5sum b/...rect/basic_sec_policy_write/clang/md5sums → ...write/clang/basic_sec_policy_write.md5sum
diff --git a/...t/basic_sec_policy_write/clang_O2/md5sums → ...te/clang_O2/basic_sec_policy_write.md5sum b/...t/basic_sec_policy_write/clang_O2/md5sums → ...te/clang_O2/basic_sec_policy_write.md5sum
diff --git a/.../basic_sec_policy_write/clang_pic/md5sums → ...e/clang_pic/basic_sec_policy_write.md5sum b/.../basic_sec_policy_write/clang_pic/md5sums → ...e/clang_pic/basic_sec_policy_write.md5sum
diff --git a/...orrect/basic_sec_policy_write/gcc/md5sums → ...y_write/gcc/basic_sec_policy_write.md5sum b/...orrect/basic_sec_policy_write/gcc/md5sums → ...y_write/gcc/basic_sec_policy_write.md5sum
diff --git a/...ect/basic_sec_policy_write/gcc_O2/md5sums → ...rite/gcc_O2/basic_sec_policy_write.md5sum b/...ect/basic_sec_policy_write/gcc_O2/md5sums → ...rite/gcc_O2/basic_sec_policy_write.md5sum
diff --git a/...ct/basic_sec_policy_write/gcc_pic/md5sums → ...ite/gcc_pic/basic_sec_policy_write.md5sum b/...ct/basic_sec_policy_write/gcc_pic/md5sums → ...ite/gcc_pic/basic_sec_policy_write.md5sum
diff --git a/.../correct/basicassign_gamma0/clang/md5sums → ...gn_gamma0/clang/basicassign_gamma0.md5sum b/.../correct/basicassign_gamma0/clang/md5sums → ...gn_gamma0/clang/basicassign_gamma0.md5sum
diff --git a/...rect/basicassign_gamma0/clang_pic/md5sums → ...amma0/clang_pic/basicassign_gamma0.md5sum b/...rect/basicassign_gamma0/clang_pic/md5sums → ...amma0/clang_pic/basicassign_gamma0.md5sum
diff --git a/...st/correct/basicassign_gamma0/gcc/md5sums → ...sign_gamma0/gcc/basicassign_gamma0.md5sum b/...st/correct/basicassign_gamma0/gcc/md5sums → ...sign_gamma0/gcc/basicassign_gamma0.md5sum
diff --git a/...correct/basicassign_gamma0/gcc_O2/md5sums → ...n_gamma0/gcc_O2/basicassign_gamma0.md5sum b/...correct/basicassign_gamma0/gcc_O2/md5sums → ...n_gamma0/gcc_O2/basicassign_gamma0.md5sum
diff --git a/...orrect/basicassign_gamma0/gcc_pic/md5sums → ..._gamma0/gcc_pic/basicassign_gamma0.md5sum b/...orrect/basicassign_gamma0/gcc_pic/md5sums → ..._gamma0/gcc_pic/basicassign_gamma0.md5sum
diff --git a/src/test/correct/basicfree/clang/md5sums → .../correct/basicfree/clang/basicfree.md5sum b/src/test/correct/basicfree/clang/md5sums → .../correct/basicfree/clang/basicfree.md5sum
diff --git a/src/test/correct/basicfree/gcc/md5sums → ...st/correct/basicfree/gcc/basicfree.md5sum b/src/test/correct/basicfree/gcc/md5sums → ...st/correct/basicfree/gcc/basicfree.md5sum
diff --git a/src/test/correct/cjump/clang/md5sums → src/test/correct/cjump/clang/cjump.md5sum b/src/test/correct/cjump/clang/md5sums → src/test/correct/cjump/clang/cjump.md5sum
diff --git a/src/test/correct/cjump/clang_pic/md5sums → ...test/correct/cjump/clang_pic/cjump.md5sum b/src/test/correct/cjump/clang_pic/md5sums → ...test/correct/cjump/clang_pic/cjump.md5sum
diff --git a/src/test/correct/cjump/gcc/md5sums → src/test/correct/cjump/gcc/cjump.md5sum b/src/test/correct/cjump/gcc/md5sums → src/test/correct/cjump/gcc/cjump.md5sum
diff --git a/src/test/correct/cjump/gcc_pic/md5sums → src/test/correct/cjump/gcc_pic/cjump.md5sum b/src/test/correct/cjump/gcc_pic/md5sums → src/test/correct/cjump/gcc_pic/cjump.md5sum
diff --git a/src/test/correct/floatingpoint/clang/md5sums → .../floatingpoint/clang/floatingpoint.md5sum b/src/test/correct/floatingpoint/clang/md5sums → .../floatingpoint/clang/floatingpoint.md5sum
diff --git a/src/test/correct/floatingpoint/gcc/md5sums → ...ct/floatingpoint/gcc/floatingpoint.md5sum b/src/test/correct/floatingpoint/gcc/md5sums → ...ct/floatingpoint/gcc/floatingpoint.md5sum
diff --git a/src/test/correct/function/clang/md5sums → ...st/correct/function/clang/function.md5sum b/src/test/correct/function/clang/md5sums → ...st/correct/function/clang/function.md5sum
diff --git a/src/test/correct/function/clang_pic/md5sums → ...orrect/function/clang_pic/function.md5sum b/src/test/correct/function/clang_pic/md5sums → ...orrect/function/clang_pic/function.md5sum
diff --git a/src/test/correct/function/gcc/md5sums → ...test/correct/function/gcc/function.md5sum b/src/test/correct/function/gcc/md5sums → ...test/correct/function/gcc/function.md5sum
diff --git a/src/test/correct/function/gcc_pic/md5sums → .../correct/function/gcc_pic/function.md5sum b/src/test/correct/function/gcc_pic/md5sums → .../correct/function/gcc_pic/function.md5sum
diff --git a/src/test/correct/function1/clang/md5sums → .../correct/function1/clang/function1.md5sum b/src/test/correct/function1/clang/md5sums → .../correct/function1/clang/function1.md5sum
diff --git a/src/test/correct/function1/clang_O2/md5sums → ...rrect/function1/clang_O2/function1.md5sum b/src/test/correct/function1/clang_O2/md5sums → ...rrect/function1/clang_O2/function1.md5sum
diff --git a/src/test/correct/function1/gcc/md5sums → ...st/correct/function1/gcc/function1.md5sum b/src/test/correct/function1/gcc/md5sums → ...st/correct/function1/gcc/function1.md5sum
diff --git a/src/test/correct/function1/gcc_O2/md5sums → ...correct/function1/gcc_O2/function1.md5sum b/src/test/correct/function1/gcc_O2/md5sums → ...correct/function1/gcc_O2/function1.md5sum
diff --git a/...est/correct/functionpointer/clang/md5sums → ...ctionpointer/clang/functionpointer.md5sum b/...est/correct/functionpointer/clang/md5sums → ...ctionpointer/clang/functionpointer.md5sum
@@ -1,5 +1,3 @@
 ed01799590caf4000f3757aaa0fe82b5  correct/functionpointer/clang/a.out
-4c38f1a5d2769b78dab61eb4ad6b901a  correct/functionpointer/clang/functionpointer.adt
-1998c00626050048fd487d6320965b20  correct/functionpointer/clang/functionpointer.bir
 d5676e59fd1be2cdb13ebe695256929a  correct/functionpointer/clang/functionpointer.relf
 2407bf6134eb2d1d76898a6015b4d962  correct/functionpointer/clang/functionpointer.gts
diff --git a/...correct/functionpointer/clang_pic/md5sums → ...npointer/clang_pic/functionpointer.md5sum b/...correct/functionpointer/clang_pic/md5sums → ...npointer/clang_pic/functionpointer.md5sum
@@ -1,5 +1,3 @@
 88b5b2666238da7615590e7c3d02e66b  correct/functionpointer/clang_pic/a.out
-d11765657286c693e5264d7a6a9b6e2a  correct/functionpointer/clang_pic/functionpointer.adt
-66151171ae2b5a71778da32d327ef54a  correct/functionpointer/clang_pic/functionpointer.bir
 e299e7da5f7e340601033ddfb996cf35  correct/functionpointer/clang_pic/functionpointer.relf
 f6879418d1f319694687bc68020a901d  correct/functionpointer/clang_pic/functionpointer.gts
diff --git a/src/test/correct/functionpointer/config.mk b/src/test/correct/functionpointer/config.mk
@@ -1 +1,3 @@
-ENABLED_COMPILERS = clang clang_pic gcc gcc_O2 gcc_pic
+ENABLED_COMPILERS = clang clang_pic gcc gcc_O2 gcc_pic
+
+LIFT_ARTEFACTS := $(COMMON_ARTEFACTS) $(GTIRB_ARTEFACTS)
diff --git a/src/test/correct/functionpointer/gcc/md5sums → ...unctionpointer/gcc/functionpointer.md5sum b/src/test/correct/functionpointer/gcc/md5sums → ...unctionpointer/gcc/functionpointer.md5sum
@@ -1,5 +1,3 @@
 d3fd0ce466066426ea63666074bcbcb0  correct/functionpointer/gcc/a.out
-2771c1e656764a391c502fc7cecf66cf  correct/functionpointer/gcc/functionpointer.adt
-5047df447e76c6edfafad8d27fda5f6e  correct/functionpointer/gcc/functionpointer.bir
 69789da9dd26fc97658df9db86b61750  correct/functionpointer/gcc/functionpointer.relf
 d681467cbbc950024ee015777e595e50  correct/functionpointer/gcc/functionpointer.gts
diff --git a/...st/correct/functionpointer/gcc_O2/md5sums → ...tionpointer/gcc_O2/functionpointer.md5sum b/...st/correct/functionpointer/gcc_O2/md5sums → ...tionpointer/gcc_O2/functionpointer.md5sum
@@ -1,5 +1,3 @@
 4543ced5b06d8b650b3dc778cb143f33  correct/functionpointer/gcc_O2/a.out
-d4d90be8a88584d99e0a02555ec96948  correct/functionpointer/gcc_O2/functionpointer.adt
-a5c93373744a4532082cfa0cfcf848ad  correct/functionpointer/gcc_O2/functionpointer.bir
 42e13cace40a6761d17796c85305dd1e  correct/functionpointer/gcc_O2/functionpointer.relf
 f86fd512f815964c7da8a0c4b1f5de1c  correct/functionpointer/gcc_O2/functionpointer.gts
diff --git a/...t/correct/functionpointer/gcc_pic/md5sums → ...ionpointer/gcc_pic/functionpointer.md5sum b/...t/correct/functionpointer/gcc_pic/md5sums → ...ionpointer/gcc_pic/functionpointer.md5sum
@@ -1,5 +1,3 @@
 adc85bb75e82a9893f72b5647efb7a00  correct/functionpointer/gcc_pic/a.out
-ff7a4bda2f7513120345d1bb44e3b96e  correct/functionpointer/gcc_pic/functionpointer.adt
-f76a336ae68154f638da7776ba34526a  correct/functionpointer/gcc_pic/functionpointer.bir
 6db1a3d861c32687205eeff92e4edd2b  correct/functionpointer/gcc_pic/functionpointer.relf
 46f0cbbf491599364d4a33d92381abcb  correct/functionpointer/gcc_pic/functionpointer.gts
diff --git a/...rrect/functions_with_params/clang/md5sums → ...params/clang/functions_with_params.md5sum b/...rrect/functions_with_params/clang/md5sums → ...params/clang/functions_with_params.md5sum
diff --git a/...correct/functions_with_params/gcc/md5sums → ...h_params/gcc/functions_with_params.md5sum b/...correct/functions_with_params/gcc/md5sums → ...h_params/gcc/functions_with_params.md5sum
diff --git a/src/test/correct/ifbranches/clang/md5sums → ...orrect/ifbranches/clang/ifbranches.md5sum b/src/test/correct/ifbranches/clang/md5sums → ...orrect/ifbranches/clang/ifbranches.md5sum
diff --git a/src/test/correct/ifbranches/clang_O2/md5sums → ...ect/ifbranches/clang_O2/ifbranches.md5sum b/src/test/correct/ifbranches/clang_O2/md5sums → ...ect/ifbranches/clang_O2/ifbranches.md5sum
diff --git a/src/test/correct/ifbranches/gcc/md5sums → .../correct/ifbranches/gcc/ifbranches.md5sum b/src/test/correct/ifbranches/gcc/md5sums → .../correct/ifbranches/gcc/ifbranches.md5sum
diff --git a/src/test/correct/ifbranches/gcc_O2/md5sums → ...rrect/ifbranches/gcc_O2/ifbranches.md5sum b/src/test/correct/ifbranches/gcc_O2/md5sums → ...rrect/ifbranches/gcc_O2/ifbranches.md5sum
diff --git a/src/test/correct/ifglobal/clang/md5sums → ...st/correct/ifglobal/clang/ifglobal.md5sum b/src/test/correct/ifglobal/clang/md5sums → ...st/correct/ifglobal/clang/ifglobal.md5sum
diff --git a/src/test/correct/ifglobal/clang_O2/md5sums → ...correct/ifglobal/clang_O2/ifglobal.md5sum b/src/test/correct/ifglobal/clang_O2/md5sums → ...correct/ifglobal/clang_O2/ifglobal.md5sum
diff --git a/src/test/correct/ifglobal/clang_pic/md5sums → ...orrect/ifglobal/clang_pic/ifglobal.md5sum b/src/test/correct/ifglobal/clang_pic/md5sums → ...orrect/ifglobal/clang_pic/ifglobal.md5sum
diff --git a/src/test/correct/ifglobal/gcc/md5sums → ...test/correct/ifglobal/gcc/ifglobal.md5sum b/src/test/correct/ifglobal/gcc/md5sums → ...test/correct/ifglobal/gcc/ifglobal.md5sum
diff --git a/src/test/correct/ifglobal/gcc_O2/md5sums → ...t/correct/ifglobal/gcc_O2/ifglobal.md5sum b/src/test/correct/ifglobal/gcc_O2/md5sums → ...t/correct/ifglobal/gcc_O2/ifglobal.md5sum
diff --git a/src/test/correct/ifglobal/gcc_pic/md5sums → .../correct/ifglobal/gcc_pic/ifglobal.md5sum b/src/test/correct/ifglobal/gcc_pic/md5sums → .../correct/ifglobal/gcc_pic/ifglobal.md5sum
diff --git a/src/test/correct/indirect_call/clang/md5sums → .../indirect_call/clang/indirect_call.md5sum b/src/test/correct/indirect_call/clang/md5sums → .../indirect_call/clang/indirect_call.md5sum
@@ -1,5 +1,3 @@
 8aa515ab6c2878e2ddb872cc2d4fb68a  correct/indirect_call/clang/a.out
-dfa613068412772e97fd32b13e9b937a  correct/indirect_call/clang/indirect_call.adt
-1cf95cd31a2727a2c01f2cb39645ea7a  correct/indirect_call/clang/indirect_call.bir
 2686fc6b5b2ce84a8fa43d98a198ee7b  correct/indirect_call/clang/indirect_call.relf
 15900904642d9aa5774ef2a41552b106  correct/indirect_call/clang/indirect_call.gts
diff --git a/...t/correct/indirect_call/clang_pic/md5sums → ...irect_call/clang_pic/indirect_call.md5sum b/...t/correct/indirect_call/clang_pic/md5sums → ...irect_call/clang_pic/indirect_call.md5sum
@@ -1,5 +1,3 @@
 8d9935869b1ed092b02abe7705ebcf21  correct/indirect_call/clang_pic/a.out
-09687a382887fee02d4ff4f88867d299  correct/indirect_call/clang_pic/indirect_call.adt
-fd637cd45d0255aa25bb50d87d7f04a5  correct/indirect_call/clang_pic/indirect_call.bir
 e8d85c551cf2db297609279374c5ffdc  correct/indirect_call/clang_pic/indirect_call.relf
 bf4e0973cfce72a447e320c5af3ca741  correct/indirect_call/clang_pic/indirect_call.gts
diff --git a/src/test/correct/indirect_call/config.mk b/src/test/correct/indirect_call/config.mk
@@ -1 +1,3 @@
-ENABLED_COMPILERS = clang clang_pic gcc gcc_pic
+ENABLED_COMPILERS = clang clang_pic gcc gcc_pic
+
+LIFT_ARTEFACTS := $(COMMON_ARTEFACTS) $(GTIRB_ARTEFACTS)
diff --git a/src/test/correct/indirect_call/gcc/md5sums → ...ct/indirect_call/gcc/indirect_call.md5sum b/src/test/correct/indirect_call/gcc/md5sums → ...ct/indirect_call/gcc/indirect_call.md5sum
@@ -1,5 +1,3 @@
 4f6caa66e2e3e131aff7ac3e0c4e5d77  correct/indirect_call/gcc/a.out
-8296fd9bd387e05b9c52c50462cb6b97  correct/indirect_call/gcc/indirect_call.adt
-441e1c62e63abf6d347ac79e556247ca  correct/indirect_call/gcc/indirect_call.bir
 de98122db349f10a47de9c5e4777d8e7  correct/indirect_call/gcc/indirect_call.relf
 9b5530e8fd27e819ebfc9a844c58a4f5  correct/indirect_call/gcc/indirect_call.gts
diff --git a/...est/correct/indirect_call/gcc_pic/md5sums → ...ndirect_call/gcc_pic/indirect_call.md5sum b/...est/correct/indirect_call/gcc_pic/md5sums → ...ndirect_call/gcc_pic/indirect_call.md5sum
@@ -1,5 +1,3 @@
 692a0be496e9a1714271968a1e8d0232  correct/indirect_call/gcc_pic/a.out
-2cf7d626149d75fd6f94a782aed84d25  correct/indirect_call/gcc_pic/indirect_call.adt
-64748e5bcd57ac7d2ae65c7906d8f1b2  correct/indirect_call/gcc_pic/indirect_call.bir
 ade7607337aba61321d732de7d89c7f6  correct/indirect_call/gcc_pic/indirect_call.relf
 b35b54f5d395f595fdf666c3f5c7d731  correct/indirect_call/gcc_pic/indirect_call.gts
diff --git a/...test/correct/initialisation/clang/md5sums → ...nitialisation/clang/initialisation.md5sum b/...test/correct/initialisation/clang/md5sums → ...nitialisation/clang/initialisation.md5sum
diff --git a/...t/correct/initialisation/clang_O2/md5sums → ...ialisation/clang_O2/initialisation.md5sum b/...t/correct/initialisation/clang_O2/md5sums → ...ialisation/clang_O2/initialisation.md5sum
diff --git a/.../correct/initialisation/clang_pic/md5sums → ...alisation/clang_pic/initialisation.md5sum b/.../correct/initialisation/clang_pic/md5sums → ...alisation/clang_pic/initialisation.md5sum
diff --git a/src/test/correct/initialisation/gcc/md5sums → .../initialisation/gcc/initialisation.md5sum b/src/test/correct/initialisation/gcc/md5sums → .../initialisation/gcc/initialisation.md5sum
diff --git a/...est/correct/initialisation/gcc_O2/md5sums → ...itialisation/gcc_O2/initialisation.md5sum b/...est/correct/initialisation/gcc_O2/md5sums → ...itialisation/gcc_O2/initialisation.md5sum
diff --git a/...st/correct/initialisation/gcc_pic/md5sums → ...tialisation/gcc_pic/initialisation.md5sum b/...st/correct/initialisation/gcc_pic/md5sums → ...tialisation/gcc_pic/initialisation.md5sum
diff --git a/src/test/correct/jumptable2/clang/md5sums → ...orrect/jumptable2/clang/jumptable2.md5sum b/src/test/correct/jumptable2/clang/md5sums → ...orrect/jumptable2/clang/jumptable2.md5sum
@@ -1,5 +1,3 @@
 350b8a7223a87ae1164255faac8bf989  correct/jumptable2/clang/a.out
-5b977e790eefd1668b82168d7f870662  correct/jumptable2/clang/jumptable2.adt
-e09195e63d04d5b609b2bd34c0d3795f  correct/jumptable2/clang/jumptable2.bir
 dfe5e4f47c5b4718a7023e51847e4977  correct/jumptable2/clang/jumptable2.relf
 a6c262573840e36b2559daa850c99bb6  correct/jumptable2/clang/jumptable2.gts
diff --git a/src/test/correct/jumptable2/clang_O2/md5sums → ...ect/jumptable2/clang_O2/jumptable2.md5sum b/src/test/correct/jumptable2/clang_O2/md5sums → ...ect/jumptable2/clang_O2/jumptable2.md5sum
@@ -1,5 +1,3 @@
 02ec42ed15d9baaa1a2ff92dee36a538  correct/jumptable2/clang_O2/a.out
-0aea6dee410ff85dc395914006310c1e  correct/jumptable2/clang_O2/jumptable2.adt
-eafbe88d8b44824b555c424d87eab28f  correct/jumptable2/clang_O2/jumptable2.bir
 312fb212e966185dc2eac4a2a5e1c5e9  correct/jumptable2/clang_O2/jumptable2.relf
 d8c57b1b56b77d5c09969fab704363f7  correct/jumptable2/clang_O2/jumptable2.gts
diff --git a/...test/correct/jumptable2/clang_pic/md5sums → ...ct/jumptable2/clang_pic/jumptable2.md5sum b/...test/correct/jumptable2/clang_pic/md5sums → ...ct/jumptable2/clang_pic/jumptable2.md5sum
@@ -1,5 +1,3 @@
 b2215402427c40ccd1d5846c2da9c17b  correct/jumptable2/clang_pic/a.out
-7840fa8b2c03aae7d6804f0a6f85a33a  correct/jumptable2/clang_pic/jumptable2.adt
-c46b489f19faafc4277f81ebea2cf3b2  correct/jumptable2/clang_pic/jumptable2.bir
 38d562bbf629d2cc2a2e656c8822c835  correct/jumptable2/clang_pic/jumptable2.relf
 f6877a96c93eccaf70cc2d0eac393f03  correct/jumptable2/clang_pic/jumptable2.gts
diff --git a/src/test/correct/jumptable2/config.mk b/src/test/correct/jumptable2/config.mk
@@ -1 +1,3 @@
-ENABLED_COMPILERS = clang clang_O2 clang_pic gcc gcc_O2 gcc_pic
+ENABLED_COMPILERS = clang clang_O2 clang_pic gcc gcc_O2 gcc_pic
+
+LIFT_ARTEFACTS := $(COMMON_ARTEFACTS) $(GTIRB_ARTEFACTS)
diff --git a/src/test/correct/jumptable2/gcc/md5sums → .../correct/jumptable2/gcc/jumptable2.md5sum b/src/test/correct/jumptable2/gcc/md5sums → .../correct/jumptable2/gcc/jumptable2.md5sum
@@ -1,5 +1,3 @@
 37f77cb80e1cb81e2098a1873107989b  correct/jumptable2/gcc/a.out
-5eddd4883dc8e80e649b3b59e3ab70dc  correct/jumptable2/gcc/jumptable2.adt
-531fd7be86c58a8f8c392ac69982cf84  correct/jumptable2/gcc/jumptable2.bir
 73d67997598e19044edc3b878f89b471  correct/jumptable2/gcc/jumptable2.relf
 c972a9193d6ebb964fc959477cd6bacb  correct/jumptable2/gcc/jumptable2.gts
diff --git a/src/test/correct/jumptable2/gcc_O2/md5sums → ...rrect/jumptable2/gcc_O2/jumptable2.md5sum b/src/test/correct/jumptable2/gcc_O2/md5sums → ...rrect/jumptable2/gcc_O2/jumptable2.md5sum
@@ -1,5 +1,3 @@
 35dee69068b64fcf296381141511140e  correct/jumptable2/gcc_O2/a.out
-28fbb4a35b29233d65484d977c56a495  correct/jumptable2/gcc_O2/jumptable2.adt
-daf88bb18b74f7f3eb7210dce4c58ba1  correct/jumptable2/gcc_O2/jumptable2.bir
 db7967b2d3f16668d93b8ba9a021e46c  correct/jumptable2/gcc_O2/jumptable2.relf
 6c3ba6c2d2f52bf4a4a9febfb9264671  correct/jumptable2/gcc_O2/jumptable2.gts
diff --git a/src/test/correct/jumptable2/gcc_pic/md5sums → ...rect/jumptable2/gcc_pic/jumptable2.md5sum b/src/test/correct/jumptable2/gcc_pic/md5sums → ...rect/jumptable2/gcc_pic/jumptable2.md5sum
@@ -1,5 +1,3 @@
 8ddcf327f34a9a08d802d11ad4662fa4  correct/jumptable2/gcc_pic/a.out
-76bb2cc11e5d83b3dcb3c9cdae069695  correct/jumptable2/gcc_pic/jumptable2.adt
-882932072c55e58647631354a5fc2db0  correct/jumptable2/gcc_pic/jumptable2.bir
 6cae7faa1ec96164ee34b07cb82297a8  correct/jumptable2/gcc_pic/jumptable2.relf
 bac9369d8ce76e145e4d169e85d8b3e3  correct/jumptable2/gcc_pic/jumptable2.gts
diff --git a/...t/correct/malloc_with_local/clang/md5sums → ...with_local/clang/malloc_with_local.md5sum b/...t/correct/malloc_with_local/clang/md5sums → ...with_local/clang/malloc_with_local.md5sum
diff --git a/...orrect/malloc_with_local/clang_O2/md5sums → ...h_local/clang_O2/malloc_with_local.md5sum b/...orrect/malloc_with_local/clang_O2/md5sums → ...h_local/clang_O2/malloc_with_local.md5sum
diff --git a/...est/correct/malloc_with_local/gcc/md5sums → ...c_with_local/gcc/malloc_with_local.md5sum b/...est/correct/malloc_with_local/gcc/md5sums → ...c_with_local/gcc/malloc_with_local.md5sum
diff --git a/.../correct/malloc_with_local/gcc_O2/md5sums → ...ith_local/gcc_O2/malloc_with_local.md5sum b/.../correct/malloc_with_local/gcc_O2/md5sums → ...ith_local/gcc_O2/malloc_with_local.md5sum
diff --git a/.../correct/malloc_with_local2/clang/md5sums → ...th_local2/clang/malloc_with_local2.md5sum b/.../correct/malloc_with_local2/clang/md5sums → ...th_local2/clang/malloc_with_local2.md5sum
diff --git a/...st/correct/malloc_with_local2/gcc/md5sums → ...with_local2/gcc/malloc_with_local2.md5sum b/...st/correct/malloc_with_local2/gcc/md5sums → ...with_local2/gcc/malloc_with_local2.md5sum
diff --git a/.../correct/malloc_with_local3/clang/md5sums → ...th_local3/clang/malloc_with_local3.md5sum b/.../correct/malloc_with_local3/clang/md5sums → ...th_local3/clang/malloc_with_local3.md5sum
diff --git a/...st/correct/malloc_with_local3/gcc/md5sums → ...with_local3/gcc/malloc_with_local3.md5sum b/...st/correct/malloc_with_local3/gcc/md5sums → ...with_local3/gcc/malloc_with_local3.md5sum
diff --git a/...correct/malloc_with_local3/gcc_O2/md5sums → ...h_local3/gcc_O2/malloc_with_local3.md5sum b/...correct/malloc_with_local3/gcc_O2/md5sums → ...h_local3/gcc_O2/malloc_with_local3.md5sum
diff --git a/src/test/correct/multi_malloc/clang/md5sums → ...ct/multi_malloc/clang/multi_malloc.md5sum b/src/test/correct/multi_malloc/clang/md5sums → ...ct/multi_malloc/clang/multi_malloc.md5sum
diff --git a/src/test/correct/multi_malloc/gcc/md5sums → ...rect/multi_malloc/gcc/multi_malloc.md5sum b/src/test/correct/multi_malloc/gcc/md5sums → ...rect/multi_malloc/gcc/multi_malloc.md5sum
diff --git a/...ct/no_interference_update_x/clang/md5sums → ...e_x/clang/no_interference_update_x.md5sum b/...ct/no_interference_update_x/clang/md5sums → ...e_x/clang/no_interference_update_x.md5sum
diff --git a/...o_interference_update_x/clang_pic/md5sums → ...clang_pic/no_interference_update_x.md5sum b/...o_interference_update_x/clang_pic/md5sums → ...clang_pic/no_interference_update_x.md5sum
diff --git a/...rect/no_interference_update_x/gcc/md5sums → ...ate_x/gcc/no_interference_update_x.md5sum b/...rect/no_interference_update_x/gcc/md5sums → ...ate_x/gcc/no_interference_update_x.md5sum
diff --git a/...t/no_interference_update_x/gcc_O2/md5sums → ..._x/gcc_O2/no_interference_update_x.md5sum b/...t/no_interference_update_x/gcc_O2/md5sums → ..._x/gcc_O2/no_interference_update_x.md5sum
diff --git a/.../no_interference_update_x/gcc_pic/md5sums → ...x/gcc_pic/no_interference_update_x.md5sum b/.../no_interference_update_x/gcc_pic/md5sums → ...x/gcc_pic/no_interference_update_x.md5sum
diff --git a/...ct/no_interference_update_y/clang/md5sums → ...e_y/clang/no_interference_update_y.md5sum b/...ct/no_interference_update_y/clang/md5sums → ...e_y/clang/no_interference_update_y.md5sum
diff --git a/...o_interference_update_y/clang_pic/md5sums → ...clang_pic/no_interference_update_y.md5sum b/...o_interference_update_y/clang_pic/md5sums → ...clang_pic/no_interference_update_y.md5sum
diff --git a/...rect/no_interference_update_y/gcc/md5sums → ...ate_y/gcc/no_interference_update_y.md5sum b/...rect/no_interference_update_y/gcc/md5sums → ...ate_y/gcc/no_interference_update_y.md5sum
diff --git a/...t/no_interference_update_y/gcc_O2/md5sums → ..._y/gcc_O2/no_interference_update_y.md5sum b/...t/no_interference_update_y/gcc_O2/md5sums → ..._y/gcc_O2/no_interference_update_y.md5sum
diff --git a/.../no_interference_update_y/gcc_pic/md5sums → ...y/gcc_pic/no_interference_update_y.md5sum b/.../no_interference_update_y/gcc_pic/md5sums → ...y/gcc_pic/no_interference_update_y.md5sum
diff --git a/src/test/correct/secret_write/clang/md5sums → ...ct/secret_write/clang/secret_write.md5sum b/src/test/correct/secret_write/clang/md5sums → ...ct/secret_write/clang/secret_write.md5sum
diff --git a/...est/correct/secret_write/clang_O2/md5sums → ...secret_write/clang_O2/secret_write.md5sum b/...est/correct/secret_write/clang_O2/md5sums → ...secret_write/clang_O2/secret_write.md5sum
diff --git a/...st/correct/secret_write/clang_pic/md5sums → ...ecret_write/clang_pic/secret_write.md5sum b/...st/correct/secret_write/clang_pic/md5sums → ...ecret_write/clang_pic/secret_write.md5sum
diff --git a/src/test/correct/secret_write/gcc/md5sums → ...rect/secret_write/gcc/secret_write.md5sum b/src/test/correct/secret_write/gcc/md5sums → ...rect/secret_write/gcc/secret_write.md5sum
diff --git a/src/test/correct/secret_write/gcc_O2/md5sums → ...t/secret_write/gcc_O2/secret_write.md5sum b/src/test/correct/secret_write/gcc_O2/md5sums → ...t/secret_write/gcc_O2/secret_write.md5sum
diff --git a/...test/correct/secret_write/gcc_pic/md5sums → .../secret_write/gcc_pic/secret_write.md5sum b/...test/correct/secret_write/gcc_pic/md5sums → .../secret_write/gcc_pic/secret_write.md5sum
diff --git a/src/test/correct/switch/clang/md5sums → src/test/correct/switch/clang/switch.md5sum b/src/test/correct/switch/clang/md5sums → src/test/correct/switch/clang/switch.md5sum
diff --git a/src/test/correct/switch/clang_O2/md5sums → ...est/correct/switch/clang_O2/switch.md5sum b/src/test/correct/switch/clang_O2/md5sums → ...est/correct/switch/clang_O2/switch.md5sum
diff --git a/src/test/correct/switch/gcc/md5sums → src/test/correct/switch/gcc/switch.md5sum b/src/test/correct/switch/gcc/md5sums → src/test/correct/switch/gcc/switch.md5sum
diff --git a/src/test/correct/switch/gcc_O2/md5sums → src/test/correct/switch/gcc_O2/switch.md5sum b/src/test/correct/switch/gcc_O2/md5sums → src/test/correct/switch/gcc_O2/switch.md5sum
diff --git a/src/test/correct/syscall/clang/md5sums → ...test/correct/syscall/clang/syscall.md5sum b/src/test/correct/syscall/clang/md5sums → ...test/correct/syscall/clang/syscall.md5sum
diff --git a/src/test/correct/syscall/clang_O2/md5sums → ...t/correct/syscall/clang_O2/syscall.md5sum b/src/test/correct/syscall/clang_O2/md5sums → ...t/correct/syscall/clang_O2/syscall.md5sum
diff --git a/src/test/correct/syscall/gcc/md5sums → src/test/correct/syscall/gcc/syscall.md5sum b/src/test/correct/syscall/gcc/md5sums → src/test/correct/syscall/gcc/syscall.md5sum
diff --git a/src/test/correct/syscall/gcc_O2/md5sums → ...est/correct/syscall/gcc_O2/syscall.md5sum b/src/test/correct/syscall/gcc_O2/md5sums → ...est/correct/syscall/gcc_O2/syscall.md5sum
diff --git a/...ect/using_gamma_conditional/clang/md5sums → ...onal/clang/using_gamma_conditional.md5sum b/...ect/using_gamma_conditional/clang/md5sums → ...onal/clang/using_gamma_conditional.md5sum
diff --git a/.../using_gamma_conditional/clang_O2/md5sums → ...l/clang_O2/using_gamma_conditional.md5sum b/.../using_gamma_conditional/clang_O2/md5sums → ...l/clang_O2/using_gamma_conditional.md5sum
diff --git a/...using_gamma_conditional/clang_pic/md5sums → .../clang_pic/using_gamma_conditional.md5sum b/...using_gamma_conditional/clang_pic/md5sums → .../clang_pic/using_gamma_conditional.md5sum
diff --git a/...rrect/using_gamma_conditional/gcc/md5sums → ...tional/gcc/using_gamma_conditional.md5sum b/...rrect/using_gamma_conditional/gcc/md5sums → ...tional/gcc/using_gamma_conditional.md5sum
diff --git a/...t/using_gamma_conditional/gcc_pic/md5sums → ...al/gcc_pic/using_gamma_conditional.md5sum b/...t/using_gamma_conditional/gcc_pic/md5sums → ...al/gcc_pic/using_gamma_conditional.md5sum
diff --git a/...correct/using_gamma_write_z/clang/md5sums → ..._write_z/clang/using_gamma_write_z.md5sum b/...correct/using_gamma_write_z/clang/md5sums → ..._write_z/clang/using_gamma_write_z.md5sum
diff --git a/...ect/using_gamma_write_z/clang_pic/md5sums → ...te_z/clang_pic/using_gamma_write_z.md5sum b/...ect/using_gamma_write_z/clang_pic/md5sums → ...te_z/clang_pic/using_gamma_write_z.md5sum
diff --git a/...t/correct/using_gamma_write_z/gcc/md5sums → ...ma_write_z/gcc/using_gamma_write_z.md5sum b/...t/correct/using_gamma_write_z/gcc/md5sums → ...ma_write_z/gcc/using_gamma_write_z.md5sum
diff --git a/...orrect/using_gamma_write_z/gcc_O2/md5sums → ...write_z/gcc_O2/using_gamma_write_z.md5sum b/...orrect/using_gamma_write_z/gcc_O2/md5sums → ...write_z/gcc_O2/using_gamma_write_z.md5sum
diff --git a/...rrect/using_gamma_write_z/gcc_pic/md5sums → ...rite_z/gcc_pic/using_gamma_write_z.md5sum b/...rrect/using_gamma_write_z/gcc_pic/md5sums → ...rite_z/gcc_pic/using_gamma_write_z.md5sum
diff --git a/...lobal_interproc_overlapping/clang/md5sums → ...clang/global_interproc_overlapping.md5sum b/...lobal_interproc_overlapping/clang/md5sums → ...clang/global_interproc_overlapping.md5sum
diff --git a/...al_interproc_overlapping/clang_O2/md5sums → ...ng_O2/global_interproc_overlapping.md5sum b/...al_interproc_overlapping/clang_O2/md5sums → ...ng_O2/global_interproc_overlapping.md5sum
diff --git a/...l_interproc_overlapping/clang_pic/md5sums → ...g_pic/global_interproc_overlapping.md5sum b/...l_interproc_overlapping/clang_pic/md5sums → ...g_pic/global_interproc_overlapping.md5sum
diff --git a/.../global_interproc_overlapping/gcc/md5sums → ...g/gcc/global_interproc_overlapping.md5sum b/.../global_interproc_overlapping/gcc/md5sums → ...g/gcc/global_interproc_overlapping.md5sum
diff --git a/...obal_interproc_overlapping/gcc_O2/md5sums → ...cc_O2/global_interproc_overlapping.md5sum b/...obal_interproc_overlapping/gcc_O2/md5sums → ...cc_O2/global_interproc_overlapping.md5sum
diff --git a/...bal_interproc_overlapping/gcc_pic/md5sums → ...c_pic/global_interproc_overlapping.md5sum b/...bal_interproc_overlapping/gcc_pic/md5sums → ...c_pic/global_interproc_overlapping.md5sum
diff --git a/...st/dsa/indirect_overlapping/clang/md5sums → ...lapping/clang/indirect_overlapping.md5sum b/...st/dsa/indirect_overlapping/clang/md5sums → ...lapping/clang/indirect_overlapping.md5sum
diff --git a/...dsa/indirect_overlapping/clang_O2/md5sums → ...ping/clang_O2/indirect_overlapping.md5sum b/...dsa/indirect_overlapping/clang_O2/md5sums → ...ping/clang_O2/indirect_overlapping.md5sum
diff --git a/...sa/indirect_overlapping/clang_pic/md5sums → ...ing/clang_pic/indirect_overlapping.md5sum b/...sa/indirect_overlapping/clang_pic/md5sums → ...ing/clang_pic/indirect_overlapping.md5sum
diff --git a/...test/dsa/indirect_overlapping/gcc/md5sums → ...erlapping/gcc/indirect_overlapping.md5sum b/...test/dsa/indirect_overlapping/gcc/md5sums → ...erlapping/gcc/indirect_overlapping.md5sum
diff --git a/...t/dsa/indirect_overlapping/gcc_O2/md5sums → ...apping/gcc_O2/indirect_overlapping.md5sum b/...t/dsa/indirect_overlapping/gcc_O2/md5sums → ...apping/gcc_O2/indirect_overlapping.md5sum
diff --git a/.../dsa/indirect_overlapping/gcc_pic/md5sums → ...pping/gcc_pic/indirect_overlapping.md5sum b/.../dsa/indirect_overlapping/gcc_pic/md5sums → ...pping/gcc_pic/indirect_overlapping.md5sum
diff --git a/...t/dsa/interproc_overlapping/clang/md5sums → ...apping/clang/interproc_overlapping.md5sum b/...t/dsa/interproc_overlapping/clang/md5sums → ...apping/clang/interproc_overlapping.md5sum
diff --git a/...sa/interproc_overlapping/clang_O2/md5sums → ...ing/clang_O2/interproc_overlapping.md5sum b/...sa/interproc_overlapping/clang_O2/md5sums → ...ing/clang_O2/interproc_overlapping.md5sum
diff --git a/...a/interproc_overlapping/clang_pic/md5sums → ...ng/clang_pic/interproc_overlapping.md5sum b/...a/interproc_overlapping/clang_pic/md5sums → ...ng/clang_pic/interproc_overlapping.md5sum
diff --git a/...est/dsa/interproc_overlapping/gcc/md5sums → ...rlapping/gcc/interproc_overlapping.md5sum b/...est/dsa/interproc_overlapping/gcc/md5sums → ...rlapping/gcc/interproc_overlapping.md5sum
diff --git a/.../dsa/interproc_overlapping/gcc_O2/md5sums → ...pping/gcc_O2/interproc_overlapping.md5sum b/.../dsa/interproc_overlapping/gcc_O2/md5sums → ...pping/gcc_O2/interproc_overlapping.md5sum
diff --git a/...dsa/interproc_overlapping/gcc_pic/md5sums → ...ping/gcc_pic/interproc_overlapping.md5sum b/...dsa/interproc_overlapping/gcc_pic/md5sums → ...ping/gcc_pic/interproc_overlapping.md5sum
diff --git a/...nterproc_pointer_arithmetic/clang/md5sums → ...clang/interproc_pointer_arithmetic.md5sum b/...nterproc_pointer_arithmetic/clang/md5sums → ...clang/interproc_pointer_arithmetic.md5sum
diff --git a/...rproc_pointer_arithmetic/clang_O2/md5sums → ...ng_O2/interproc_pointer_arithmetic.md5sum b/...rproc_pointer_arithmetic/clang_O2/md5sums → ...ng_O2/interproc_pointer_arithmetic.md5sum
diff --git a/...proc_pointer_arithmetic/clang_pic/md5sums → ...g_pic/interproc_pointer_arithmetic.md5sum b/...proc_pointer_arithmetic/clang_pic/md5sums → ...g_pic/interproc_pointer_arithmetic.md5sum
diff --git a/.../interproc_pointer_arithmetic/gcc/md5sums → ...c/gcc/interproc_pointer_arithmetic.md5sum b/.../interproc_pointer_arithmetic/gcc/md5sums → ...c/gcc/interproc_pointer_arithmetic.md5sum
diff --git a/...terproc_pointer_arithmetic/gcc_O2/md5sums → ...cc_O2/interproc_pointer_arithmetic.md5sum b/...terproc_pointer_arithmetic/gcc_O2/md5sums → ...cc_O2/interproc_pointer_arithmetic.md5sum
diff --git a/...erproc_pointer_arithmetic/gcc_pic/md5sums → ...c_pic/interproc_pointer_arithmetic.md5sum b/...erproc_pointer_arithmetic/gcc_pic/md5sums → ...c_pic/interproc_pointer_arithmetic.md5sum
diff --git a/...stack_interproc_overlapping/clang/md5sums → .../clang/stack_interproc_overlapping.md5sum b/...stack_interproc_overlapping/clang/md5sums → .../clang/stack_interproc_overlapping.md5sum
diff --git a/...ck_interproc_overlapping/clang_O2/md5sums → ...ang_O2/stack_interproc_overlapping.md5sum b/...ck_interproc_overlapping/clang_O2/md5sums → ...ang_O2/stack_interproc_overlapping.md5sum
diff --git a/...k_interproc_overlapping/clang_pic/md5sums → ...ng_pic/stack_interproc_overlapping.md5sum b/...k_interproc_overlapping/clang_pic/md5sums → ...ng_pic/stack_interproc_overlapping.md5sum
diff --git a/...a/stack_interproc_overlapping/gcc/md5sums → ...ng/gcc/stack_interproc_overlapping.md5sum b/...a/stack_interproc_overlapping/gcc/md5sums → ...ng/gcc/stack_interproc_overlapping.md5sum
diff --git a/...tack_interproc_overlapping/gcc_O2/md5sums → ...gcc_O2/stack_interproc_overlapping.md5sum b/...tack_interproc_overlapping/gcc_O2/md5sums → ...gcc_O2/stack_interproc_overlapping.md5sum
diff --git a/...ack_interproc_overlapping/gcc_pic/md5sums → ...cc_pic/stack_interproc_overlapping.md5sum b/...ack_interproc_overlapping/gcc_pic/md5sums → ...cc_pic/stack_interproc_overlapping.md5sum
diff --git a/...test/dsa/stack_reassignment/clang/md5sums → ...ssignment/clang/stack_reassignment.md5sum b/...test/dsa/stack_reassignment/clang/md5sums → ...ssignment/clang/stack_reassignment.md5sum
diff --git a/...t/dsa/stack_reassignment/clang_O2/md5sums → ...gnment/clang_O2/stack_reassignment.md5sum b/...t/dsa/stack_reassignment/clang_O2/md5sums → ...gnment/clang_O2/stack_reassignment.md5sum
diff --git a/.../dsa/stack_reassignment/clang_pic/md5sums → ...nment/clang_pic/stack_reassignment.md5sum b/.../dsa/stack_reassignment/clang_pic/md5sums → ...nment/clang_pic/stack_reassignment.md5sum
diff --git a/src/test/dsa/stack_reassignment/gcc/md5sums → ...eassignment/gcc/stack_reassignment.md5sum b/src/test/dsa/stack_reassignment/gcc/md5sums → ...eassignment/gcc/stack_reassignment.md5sum
diff --git a/...est/dsa/stack_reassignment/gcc_O2/md5sums → ...signment/gcc_O2/stack_reassignment.md5sum b/...est/dsa/stack_reassignment/gcc_O2/md5sums → ...signment/gcc_O2/stack_reassignment.md5sum
diff --git a/...st/dsa/stack_reassignment/gcc_pic/md5sums → ...ignment/gcc_pic/stack_reassignment.md5sum b/...st/dsa/stack_reassignment/gcc_pic/md5sums → ...ignment/gcc_pic/stack_reassignment.md5sum
diff --git a/src/test/dsa/stackambiguity/clang/md5sums → ...tackambiguity/clang/stackambiguity.md5sum b/src/test/dsa/stackambiguity/clang/md5sums → ...tackambiguity/clang/stackambiguity.md5sum
diff --git a/src/test/dsa/stackambiguity/clang_O2/md5sums → ...kambiguity/clang_O2/stackambiguity.md5sum b/src/test/dsa/stackambiguity/clang_O2/md5sums → ...kambiguity/clang_O2/stackambiguity.md5sum
diff --git a/...test/dsa/stackambiguity/clang_pic/md5sums → ...ambiguity/clang_pic/stackambiguity.md5sum b/...test/dsa/stackambiguity/clang_pic/md5sums → ...ambiguity/clang_pic/stackambiguity.md5sum
diff --git a/src/test/dsa/stackambiguity/gcc/md5sums → .../stackambiguity/gcc/stackambiguity.md5sum b/src/test/dsa/stackambiguity/gcc/md5sums → .../stackambiguity/gcc/stackambiguity.md5sum
diff --git a/src/test/dsa/stackambiguity/gcc_O2/md5sums → ...ackambiguity/gcc_O2/stackambiguity.md5sum b/src/test/dsa/stackambiguity/gcc_O2/md5sums → ...ackambiguity/gcc_O2/stackambiguity.md5sum
diff --git a/src/test/dsa/stackambiguity/gcc_pic/md5sums → ...ckambiguity/gcc_pic/stackambiguity.md5sum b/src/test/dsa/stackambiguity/gcc_pic/md5sums → ...ckambiguity/gcc_pic/stackambiguity.md5sum
diff --git a/...a/unsafe_pointer_arithmetic/clang/md5sums → ...ic/clang/unsafe_pointer_arithmetic.md5sum b/...a/unsafe_pointer_arithmetic/clang/md5sums → ...ic/clang/unsafe_pointer_arithmetic.md5sum
diff --git a/...nsafe_pointer_arithmetic/clang_O2/md5sums → ...clang_O2/unsafe_pointer_arithmetic.md5sum b/...nsafe_pointer_arithmetic/clang_O2/md5sums → ...clang_O2/unsafe_pointer_arithmetic.md5sum
diff --git a/...safe_pointer_arithmetic/clang_pic/md5sums → ...lang_pic/unsafe_pointer_arithmetic.md5sum b/...safe_pointer_arithmetic/clang_pic/md5sums → ...lang_pic/unsafe_pointer_arithmetic.md5sum
diff --git a/...dsa/unsafe_pointer_arithmetic/gcc/md5sums → ...etic/gcc/unsafe_pointer_arithmetic.md5sum b/...dsa/unsafe_pointer_arithmetic/gcc/md5sums → ...etic/gcc/unsafe_pointer_arithmetic.md5sum
diff --git a/.../unsafe_pointer_arithmetic/gcc_O2/md5sums → ...c/gcc_O2/unsafe_pointer_arithmetic.md5sum b/.../unsafe_pointer_arithmetic/gcc_O2/md5sums → ...c/gcc_O2/unsafe_pointer_arithmetic.md5sum
diff --git a/...unsafe_pointer_arithmetic/gcc_pic/md5sums → .../gcc_pic/unsafe_pointer_arithmetic.md5sum b/...unsafe_pointer_arithmetic/gcc_pic/md5sums → .../gcc_pic/unsafe_pointer_arithmetic.md5sum
diff --git a/...emcpy_strlen_memset_free/clang_O2/md5sums → ...2/malloc_memcpy_strlen_memset_free.md5sum b/...emcpy_strlen_memset_free/clang_O2/md5sums → ...2/malloc_memcpy_strlen_memset_free.md5sum
diff --git a/..._memcpy_strlen_memset_free/gcc_O2/md5sums → ...2/malloc_memcpy_strlen_memset_free.md5sum b/..._memcpy_strlen_memset_free/gcc_O2/md5sums → ...2/malloc_memcpy_strlen_memset_free.md5sum
diff --git a/...emcpy_strlen_memset_free/clang_O2/md5sums → ...2/malloc_memcpy_strlen_memset_free.md5sum b/...emcpy_strlen_memset_free/clang_O2/md5sums → ...2/malloc_memcpy_strlen_memset_free.md5sum
diff --git a/..._memcpy_strlen_memset_free/gcc_O2/md5sums → ...2/malloc_memcpy_strlen_memset_free.md5sum b/..._memcpy_strlen_memset_free/gcc_O2/md5sums → ...2/malloc_memcpy_strlen_memset_free.md5sum
diff --git a/src/test/incorrect/basicassign/clang/md5sums → ...rect/basicassign/clang/basicassign.md5sum b/src/test/incorrect/basicassign/clang/md5sums → ...rect/basicassign/clang/basicassign.md5sum
diff --git a/...st/incorrect/basicassign/clang_O2/md5sums → ...t/basicassign/clang_O2/basicassign.md5sum b/...st/incorrect/basicassign/clang_O2/md5sums → ...t/basicassign/clang_O2/basicassign.md5sum
diff --git a/...t/incorrect/basicassign/clang_pic/md5sums → .../basicassign/clang_pic/basicassign.md5sum b/...t/incorrect/basicassign/clang_pic/md5sums → .../basicassign/clang_pic/basicassign.md5sum
diff --git a/src/test/incorrect/basicassign/gcc/md5sums → ...orrect/basicassign/gcc/basicassign.md5sum b/src/test/incorrect/basicassign/gcc/md5sums → ...orrect/basicassign/gcc/basicassign.md5sum
diff --git a/...test/incorrect/basicassign/gcc_O2/md5sums → ...ect/basicassign/gcc_O2/basicassign.md5sum b/...test/incorrect/basicassign/gcc_O2/md5sums → ...ect/basicassign/gcc_O2/basicassign.md5sum
diff --git a/...est/incorrect/basicassign/gcc_pic/md5sums → ...ct/basicassign/gcc_pic/basicassign.md5sum b/...est/incorrect/basicassign/gcc_pic/md5sums → ...ct/basicassign/gcc_pic/basicassign.md5sum
diff --git a/...test/incorrect/basicassign1/clang/md5sums → ...ct/basicassign1/clang/basicassign1.md5sum b/...test/incorrect/basicassign1/clang/md5sums → ...ct/basicassign1/clang/basicassign1.md5sum
diff --git a/...t/incorrect/basicassign1/clang_O2/md5sums → ...basicassign1/clang_O2/basicassign1.md5sum b/...t/incorrect/basicassign1/clang_O2/md5sums → ...basicassign1/clang_O2/basicassign1.md5sum
diff --git a/.../incorrect/basicassign1/clang_pic/md5sums → ...asicassign1/clang_pic/basicassign1.md5sum b/.../incorrect/basicassign1/clang_pic/md5sums → ...asicassign1/clang_pic/basicassign1.md5sum
diff --git a/src/test/incorrect/basicassign1/gcc/md5sums → ...rect/basicassign1/gcc/basicassign1.md5sum b/src/test/incorrect/basicassign1/gcc/md5sums → ...rect/basicassign1/gcc/basicassign1.md5sum
diff --git a/...est/incorrect/basicassign1/gcc_O2/md5sums → ...t/basicassign1/gcc_O2/basicassign1.md5sum b/...est/incorrect/basicassign1/gcc_O2/md5sums → ...t/basicassign1/gcc_O2/basicassign1.md5sum
diff --git a/...st/incorrect/basicassign1/gcc_pic/md5sums → .../basicassign1/gcc_pic/basicassign1.md5sum b/...st/incorrect/basicassign1/gcc_pic/md5sums → .../basicassign1/gcc_pic/basicassign1.md5sum
diff --git a/...test/incorrect/basicassign2/clang/md5sums → ...ct/basicassign2/clang/basicassign2.md5sum b/...test/incorrect/basicassign2/clang/md5sums → ...ct/basicassign2/clang/basicassign2.md5sum
diff --git a/...t/incorrect/basicassign2/clang_O2/md5sums → ...basicassign2/clang_O2/basicassign2.md5sum b/...t/incorrect/basicassign2/clang_O2/md5sums → ...basicassign2/clang_O2/basicassign2.md5sum
diff --git a/.../incorrect/basicassign2/clang_pic/md5sums → ...asicassign2/clang_pic/basicassign2.md5sum b/.../incorrect/basicassign2/clang_pic/md5sums → ...asicassign2/clang_pic/basicassign2.md5sum
diff --git a/src/test/incorrect/basicassign2/gcc/md5sums → ...rect/basicassign2/gcc/basicassign2.md5sum b/src/test/incorrect/basicassign2/gcc/md5sums → ...rect/basicassign2/gcc/basicassign2.md5sum
diff --git a/...est/incorrect/basicassign2/gcc_O2/md5sums → ...t/basicassign2/gcc_O2/basicassign2.md5sum b/...est/incorrect/basicassign2/gcc_O2/md5sums → ...t/basicassign2/gcc_O2/basicassign2.md5sum
diff --git a/...st/incorrect/basicassign2/gcc_pic/md5sums → .../basicassign2/gcc_pic/basicassign2.md5sum b/...st/incorrect/basicassign2/gcc_pic/md5sums → .../basicassign2/gcc_pic/basicassign2.md5sum
diff --git a/...test/incorrect/basicassign3/clang/md5sums → ...ct/basicassign3/clang/basicassign3.md5sum b/...test/incorrect/basicassign3/clang/md5sums → ...ct/basicassign3/clang/basicassign3.md5sum
diff --git a/...t/incorrect/basicassign3/clang_O2/md5sums → ...basicassign3/clang_O2/basicassign3.md5sum b/...t/incorrect/basicassign3/clang_O2/md5sums → ...basicassign3/clang_O2/basicassign3.md5sum
diff --git a/.../incorrect/basicassign3/clang_pic/md5sums → ...asicassign3/clang_pic/basicassign3.md5sum b/.../incorrect/basicassign3/clang_pic/md5sums → ...asicassign3/clang_pic/basicassign3.md5sum
diff --git a/src/test/incorrect/basicassign3/gcc/md5sums → ...rect/basicassign3/gcc/basicassign3.md5sum b/src/test/incorrect/basicassign3/gcc/md5sums → ...rect/basicassign3/gcc/basicassign3.md5sum
diff --git a/...est/incorrect/basicassign3/gcc_O2/md5sums → ...t/basicassign3/gcc_O2/basicassign3.md5sum b/...est/incorrect/basicassign3/gcc_O2/md5sums → ...t/basicassign3/gcc_O2/basicassign3.md5sum
diff --git a/...st/incorrect/basicassign3/gcc_pic/md5sums → .../basicassign3/gcc_pic/basicassign3.md5sum b/...st/incorrect/basicassign3/gcc_pic/md5sums → .../basicassign3/gcc_pic/basicassign3.md5sum
diff --git a/src/test/incorrect/iflocal/clang/md5sums → ...st/incorrect/iflocal/clang/iflocal.md5sum b/src/test/incorrect/iflocal/clang/md5sums → ...st/incorrect/iflocal/clang/iflocal.md5sum
diff --git a/src/test/incorrect/iflocal/gcc/md5sums → ...test/incorrect/iflocal/gcc/iflocal.md5sum b/src/test/incorrect/iflocal/gcc/md5sums → ...test/incorrect/iflocal/gcc/iflocal.md5sum
diff --git a/...st/incorrect/nestedifglobal/clang/md5sums → ...estedifglobal/clang/nestedifglobal.md5sum b/...st/incorrect/nestedifglobal/clang/md5sums → ...estedifglobal/clang/nestedifglobal.md5sum
diff --git a/...ncorrect/nestedifglobal/clang_pic/md5sums → ...difglobal/clang_pic/nestedifglobal.md5sum b/...ncorrect/nestedifglobal/clang_pic/md5sums → ...difglobal/clang_pic/nestedifglobal.md5sum
diff --git a/...test/incorrect/nestedifglobal/gcc/md5sums → .../nestedifglobal/gcc/nestedifglobal.md5sum b/...test/incorrect/nestedifglobal/gcc/md5sums → .../nestedifglobal/gcc/nestedifglobal.md5sum
diff --git a/.../incorrect/nestedifglobal/gcc_pic/md5sums → ...tedifglobal/gcc_pic/nestedifglobal.md5sum b/.../incorrect/nestedifglobal/gcc_pic/md5sums → ...tedifglobal/gcc_pic/nestedifglobal.md5sum
diff --git a/...irect_calls/functionpointer/clang/md5sums → ...ctionpointer/clang/functionpointer.md5sum b/...irect_calls/functionpointer/clang/md5sums → ...ctionpointer/clang/functionpointer.md5sum
diff --git a/...ct_calls/functionpointer/clang_O2/md5sums → ...onpointer/clang_O2/functionpointer.md5sum b/...ct_calls/functionpointer/clang_O2/md5sums → ...onpointer/clang_O2/functionpointer.md5sum
diff --git a/...t_calls/functionpointer/clang_pic/md5sums → ...npointer/clang_pic/functionpointer.md5sum b/...t_calls/functionpointer/clang_pic/md5sums → ...npointer/clang_pic/functionpointer.md5sum
diff --git a/...ndirect_calls/functionpointer/gcc/md5sums → ...unctionpointer/gcc/functionpointer.md5sum b/...ndirect_calls/functionpointer/gcc/md5sums → ...unctionpointer/gcc/functionpointer.md5sum
diff --git a/...rect_calls/functionpointer/gcc_O2/md5sums → ...tionpointer/gcc_O2/functionpointer.md5sum b/...rect_calls/functionpointer/gcc_O2/md5sums → ...tionpointer/gcc_O2/functionpointer.md5sum
diff --git a/...ect_calls/functionpointer/gcc_pic/md5sums → ...ionpointer/gcc_pic/functionpointer.md5sum b/...ect_calls/functionpointer/gcc_pic/md5sums → ...ionpointer/gcc_pic/functionpointer.md5sum
diff --git a/...ndirect_calls/indirect_call/clang/md5sums → .../indirect_call/clang/indirect_call.md5sum b/...ndirect_calls/indirect_call/clang/md5sums → .../indirect_call/clang/indirect_call.md5sum
diff --git a/...ect_calls/indirect_call/clang_pic/md5sums → ...irect_call/clang_pic/indirect_call.md5sum b/...ect_calls/indirect_call/clang_pic/md5sums → ...irect_call/clang_pic/indirect_call.md5sum
diff --git a/.../indirect_calls/indirect_call/gcc/md5sums → ...ls/indirect_call/gcc/indirect_call.md5sum b/.../indirect_calls/indirect_call/gcc/md5sums → ...ls/indirect_call/gcc/indirect_call.md5sum
diff --git a/...irect_calls/indirect_call/gcc_pic/md5sums → ...ndirect_call/gcc_pic/indirect_call.md5sum b/...irect_calls/indirect_call/gcc_pic/md5sums → ...ndirect_call/gcc_pic/indirect_call.md5sum
diff --git a/...alls/indirect_call_outparam/clang/md5sums → ...param/clang/indirect_call_outparam.md5sum b/...alls/indirect_call_outparam/clang/md5sums → ...param/clang/indirect_call_outparam.md5sum
diff --git a/..._calls/indirect_call_outparam/gcc/md5sums → ...utparam/gcc/indirect_call_outparam.md5sum b/..._calls/indirect_call_outparam/gcc/md5sums → ...utparam/gcc/indirect_call_outparam.md5sum
diff --git a/...st/indirect_calls/jumptable/clang/md5sums → ...ct_calls/jumptable/clang/jumptable.md5sum b/...st/indirect_calls/jumptable/clang/md5sums → ...ct_calls/jumptable/clang/jumptable.md5sum
diff --git a/...test/indirect_calls/jumptable/gcc/md5sums → ...rect_calls/jumptable/gcc/jumptable.md5sum b/...test/indirect_calls/jumptable/gcc/md5sums → ...rect_calls/jumptable/gcc/jumptable.md5sum
diff --git a/...t/indirect_calls/jumptable2/clang/md5sums → ..._calls/jumptable2/clang/jumptable2.md5sum b/...t/indirect_calls/jumptable2/clang/md5sums → ..._calls/jumptable2/clang/jumptable2.md5sum
diff --git a/...ndirect_calls/jumptable2/clang_O2/md5sums → ...lls/jumptable2/clang_O2/jumptable2.md5sum b/...ndirect_calls/jumptable2/clang_O2/md5sums → ...lls/jumptable2/clang_O2/jumptable2.md5sum
diff --git a/...direct_calls/jumptable2/clang_pic/md5sums → ...ls/jumptable2/clang_pic/jumptable2.md5sum b/...direct_calls/jumptable2/clang_pic/md5sums → ...ls/jumptable2/clang_pic/jumptable2.md5sum
diff --git a/...est/indirect_calls/jumptable2/gcc/md5sums → ...ct_calls/jumptable2/gcc/jumptable2.md5sum b/...est/indirect_calls/jumptable2/gcc/md5sums → ...ct_calls/jumptable2/gcc/jumptable2.md5sum
diff --git a/.../indirect_calls/jumptable2/gcc_O2/md5sums → ...calls/jumptable2/gcc_O2/jumptable2.md5sum b/.../indirect_calls/jumptable2/gcc_O2/md5sums → ...calls/jumptable2/gcc_O2/jumptable2.md5sum
diff --git a/...indirect_calls/jumptable2/gcc_pic/md5sums → ...alls/jumptable2/gcc_pic/jumptable2.md5sum b/...indirect_calls/jumptable2/gcc_pic/md5sums → ...alls/jumptable2/gcc_pic/jumptable2.md5sum
diff --git a/...t/indirect_calls/jumptable3/clang/md5sums → ..._calls/jumptable3/clang/jumptable3.md5sum b/...t/indirect_calls/jumptable3/clang/md5sums → ..._calls/jumptable3/clang/jumptable3.md5sum
diff --git a/...ndirect_calls/jumptable3/clang_O2/md5sums → ...lls/jumptable3/clang_O2/jumptable3.md5sum b/...ndirect_calls/jumptable3/clang_O2/md5sums → ...lls/jumptable3/clang_O2/jumptable3.md5sum
diff --git a/...test/indirect_calls/switch2/clang/md5sums → ...direct_calls/switch2/clang/switch2.md5sum b/...test/indirect_calls/switch2/clang/md5sums → ...direct_calls/switch2/clang/switch2.md5sum
diff --git a/...t/indirect_calls/syscall/clang_O2/md5sums → ...ect_calls/syscall/clang_O2/syscall.md5sum b/...t/indirect_calls/syscall/clang_O2/md5sums → ...ect_calls/syscall/clang_O2/syscall.md5sum
diff --git a/...ible_loops/irreducible_loop/clang/md5sums → ...ucible_loop/clang/irreducible_loop.md5sum b/...ible_loops/irreducible_loop/clang/md5sums → ...ucible_loop/clang/irreducible_loop.md5sum
diff --git a/...e_loops/irreducible_loop/clang_O2/md5sums → ...ble_loop/clang_O2/irreducible_loop.md5sum b/...e_loops/irreducible_loop/clang_O2/md5sums → ...ble_loop/clang_O2/irreducible_loop.md5sum
diff --git a/..._loops/irreducible_loop/clang_pic/md5sums → ...le_loop/clang_pic/irreducible_loop.md5sum b/..._loops/irreducible_loop/clang_pic/md5sums → ...le_loop/clang_pic/irreducible_loop.md5sum
diff --git a/...ucible_loops/irreducible_loop/gcc/md5sums → ...educible_loop/gcc/irreducible_loop.md5sum b/...ucible_loops/irreducible_loop/gcc/md5sums → ...educible_loop/gcc/irreducible_loop.md5sum
diff --git a/...ble_loops/irreducible_loop/gcc_O2/md5sums → ...cible_loop/gcc_O2/irreducible_loop.md5sum b/...ble_loops/irreducible_loop/gcc_O2/md5sums → ...cible_loop/gcc_O2/irreducible_loop.md5sum
diff --git a/...le_loops/irreducible_loop/gcc_pic/md5sums → ...ible_loop/gcc_pic/irreducible_loop.md5sum b/...le_loops/irreducible_loop/gcc_pic/md5sums → ...ible_loop/gcc_pic/irreducible_loop.md5sum
diff --git a/...le_loops/irreducible_loop_2/clang/md5sums → ...le_loop_2/clang/irreducible_loop_2.md5sum b/...le_loops/irreducible_loop_2/clang/md5sums → ...le_loop_2/clang/irreducible_loop_2.md5sum
diff --git a/...loops/irreducible_loop_2/clang_O2/md5sums → ...loop_2/clang_O2/irreducible_loop_2.md5sum b/...loops/irreducible_loop_2/clang_O2/md5sums → ...loop_2/clang_O2/irreducible_loop_2.md5sum
diff --git a/...oops/irreducible_loop_2/clang_pic/md5sums → ...oop_2/clang_pic/irreducible_loop_2.md5sum b/...oops/irreducible_loop_2/clang_pic/md5sums → ...oop_2/clang_pic/irreducible_loop_2.md5sum
diff --git a/...ible_loops/irreducible_loop_2/gcc/md5sums → ...ible_loop_2/gcc/irreducible_loop_2.md5sum b/...ible_loops/irreducible_loop_2/gcc/md5sums → ...ible_loop_2/gcc/irreducible_loop_2.md5sum
diff --git a/...e_loops/irreducible_loop_2/gcc_O2/md5sums → ...e_loop_2/gcc_O2/irreducible_loop_2.md5sum b/...e_loops/irreducible_loop_2/gcc_O2/md5sums → ...e_loop_2/gcc_O2/irreducible_loop_2.md5sum
diff --git a/..._loops/irreducible_loop_2/gcc_pic/md5sums → ..._loop_2/gcc_pic/irreducible_loop_2.md5sum b/..._loops/irreducible_loop_2/gcc_pic/md5sums → ..._loop_2/gcc_pic/irreducible_loop_2.md5sum
diff --git a/src/test/make/lift-directories.mk b/src/test/make/lift-directories.mk
@@ -2,10 +2,17 @@
 
 # Run from the directory basil/src/test/*/test_case/
 
+NAME := $(notdir $(shell pwd))
+
+COMMON_ARTEFACTS := $(NAME).relf
+BAP_ARTEFACTS := $(NAME).adt $(NAME).bir
+GTIRB_ARTEFACTS := $(NAME).gts
+
 # - means continue if it doesnt exist
 -include ./config.mk
 
-NAME=$(notdir $(shell pwd))
+LIFT_ARTEFACTS ?= $(BAP_ARTEFACTS) $(COMMON_ARTEFACTS) $(GTIRB_ARTEFACTS)
+
 GIT_ROOT?=$(realpath ../../../../)
 BUILD_DIR ?= $(shell realpath --relative-to $(GIT_ROOT) .)
 MAKE_DIR ?= $(GIT_ROOT)/src/test/make
@@ -36,8 +43,6 @@ BASIL_FLAGS ?=
 #BOOGIE_FLAGS=/proverOpt:O:smt.array.extensional=false
 BOOGIE_FLAGS ?= /useArrayAxioms
 
-LIFT_ARTEFACTS=$(NAME).adt $(NAME).bir $(NAME).relf $(NAME).gts
-
 ENABLED_COMPILERS ?= clang clang_O2 clang_pic gcc gcc_O2 gcc_pic
 
 TARGETS := all verify repro-stash repro-check md5sum-check md5sum-update clean cleanall cleanlift cleanjson cleangts cleantest recompile json gts
-Original file line number
+Diff line change
@@ Expand Up / @@ -14,3 +14,5 @@ docker-hash-new @@
     !compiled.url.txt
     *.gz
     *.bz2
+    *.xz
+    *.zst