From 824fdca7224a5973f6d9bb4f429c38244378eac8 Mon Sep 17 00:00:00 2001 From: Birte Kristina Friesel Date: Wed, 21 May 2025 13:44:52 +0200 Subject: learn_pta: Add transition to final / accepting state --- bin/analyze-trace.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'bin') diff --git a/bin/analyze-trace.py b/bin/analyze-trace.py index 76a0064..8404ccd 100755 --- a/bin/analyze-trace.py +++ b/bin/analyze-trace.py @@ -105,8 +105,10 @@ def learn_pta(observations, annotation): ), } ) - print(annotation.start.param) - print(delta) + + if not prev in delta: + delta[prev] = set() + delta[prev].add("__end__") return meta_observations -- cgit v1.2.3