-
Notifications
You must be signed in to change notification settings - Fork 122
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix accountability examples #607
Fix accountability examples #607
Conversation
Hi! @kevinmorio and I did some analysis. #595 introduced some code changes that make the integration tests fail:
Annoyingly, we cannot reproduce this failure, neither on MacBook Pro 2019, Arch Linux, Debian 10 and Ubuntu 22.04, all with the same Maude that the integration test uses. Hence we cannot upload a file that stops this failure. This will block other PRs as well (sorry!). The onus on fixing this is on us. We think the best way to deal with this is to extend the github workflow with a way to download the artefacts, so we can debug this issue. |
91ab5bf
to
68a125a
Compare
* 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>
The PR adapts the accountability examples to the new SAPiC semantic.
Moreover, it adds some accountability examples to the regression tests.