Fix accountability examples (#607)

* Adapted some accountability examples to new SAPIC syntax.

* Adapt another accountability example to updated SAPIC semantic

* Add oracle heuristic to accountability examples

* Adapt accountability examples from Master's thesis to new SAPiC semantic

* Update README

* Add README

* Change to monospace

* Add accountability case studies to regression tests

* Revert failing case study to upstream version

* Fix unintentional restore of failing case study

---------

Co-authored-by: Robert Künnemann <robert.kuennemann@cispa.saarland>
Co-authored-by: rkunnema <robert.kuennemann@cispa.de>

Makefile

@@ -395,6 +395,17 @@ AUTO_SOURCES_CS_TARGETS=$(subst .spthy,_analyzed-auto-sources.spthy,$(addprefix
 auto-sources-case-studies:	$(AUTO_SOURCES_CS_TARGETS)
 	grep "verified\|falsified\|processing time" case-studies$(SUBDIR)features/auto-sources/spore/*.spthy
 
+## Accountability
+################
+
+ACCOUNTABILITY_CASE_STUDIES=ct.spthy whodunit.spthy ocsps-msr.spthy ocsps-msr-untrusted.spthy
+
+ACCOUNTABILITY_CS_TARGETS=$(subst .spthy,_analyzed.spthy,$(addprefix case-studies$(SUBDIR)accountability/csf21-acc-unbounded/previous/,$(ACCOUNTABILITY_CASE_STUDIES)))
+
+# case studies
+accountability-case-studies:	$(ACCOUNTABILITY_CS_TARGETS)
+	grep "verified\|falsified\|processing time" case-studies$(SUBDIR)accountability/csf21-acc-unbounded/previous/*.spthy
+
 ## Regression (old issues)
 ##########################
 
@@ -456,7 +467,7 @@ else 	# ($(UNAME_S),Darwin)
 endif
 #	top -b | head >> $@
 
-CS_TARGETS=case-studies$(SUBDIR)Tutorial_analyzed.spthy $(CSF19_WRAPPING_TARGETS) $(CSF12_CS_TARGETS) $(CLASSIC_CS_TARGETS) $(IND_CS_TARGETS) $(AKE_DH_CS_TARGETS) $(AKE_BP_CS_TARGETS) $(FEATURES_CS_TARGETS) $(OBSEQ_TARGETS) $(SAPIC_CS_TARGETS_FAST) $(SAPIC_CS_TARGETS_SLOW) $(POST17_TARGETS) $(REGRESSION_TARGETS) $(XOR_TARGETS) $(AUTO_SOURCES_CS_TARGETS)
+CS_TARGETS=case-studies$(SUBDIR)Tutorial_analyzed.spthy $(CSF19_WRAPPING_TARGETS) $(CSF12_CS_TARGETS) $(CLASSIC_CS_TARGETS) $(IND_CS_TARGETS) $(AKE_DH_CS_TARGETS) $(AKE_BP_CS_TARGETS) $(FEATURES_CS_TARGETS) $(OBSEQ_TARGETS) $(SAPIC_CS_TARGETS_FAST) $(SAPIC_CS_TARGETS_SLOW) $(POST17_TARGETS) $(REGRESSION_TARGETS) $(XOR_TARGETS) $(AUTO_SOURCES_CS_TARGETS) $(ACCOUNTABILITY_CS_TARGETS)
 
 case-studies: 	case-studies$(SUBDIR)system.info $(CS_TARGETS)
 	grep -R "verified\|falsified\|processing time" case-studies$(SUBDIR)