Verified Commit 5dddaa17 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💎

Analysis tweaks and fixes

parent 1613a48c
Pipeline #614 passed with stages
in 2 minutes and 34 seconds
// SPDX-FileCopyrightText: © 2019-2020 Nadim Kobeissi <nadim@symbolic.software>
// SPDX-License-Identifier: GPL-3.0-only
attacker[active]
principal Bob[
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment