From 19af819ffcd17bf69ab91729cfed16f631c82b52 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20Sch=C3=BCssele?= Date: Thu, 19 Sep 2024 13:07:18 +0200 Subject: [PATCH] Rename states to fix test (#611) --- .../Kerala-TwoThreadOneRessource-difference.ats | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/trunk/examples/Automata/regression/pn/traceAbstraction/crafted/Kerala-TwoThreadOneRessource-difference.ats b/trunk/examples/Automata/regression/pn/traceAbstraction/crafted/Kerala-TwoThreadOneRessource-difference.ats index 265cab01d97..161df2560cc 100644 --- a/trunk/examples/Automata/regression/pn/traceAbstraction/crafted/Kerala-TwoThreadOneRessource-difference.ats +++ b/trunk/examples/Automata/regression/pn/traceAbstraction/crafted/Kerala-TwoThreadOneRessource-difference.ats @@ -116,23 +116,23 @@ NestedWordAutomaton access2Model = ( callAlphabet = {}, internalAlphabet = {"1request" "1assume2crit" "1release" "2request" "2assume1crit" "2release"}, returnAlphabet = {}, - states = {"2safe" "2crit" "false"}, + states = {"2safe" "2critAccess" "false"}, initialStates = {"2safe"}, finalStates = {"false"}, callTransitions = {}, internalTransitions = { ("2safe" "1request" "2safe") - ("2safe" "2request" "2crit") + ("2safe" "2request" "2critAccess") ("2safe" "1release" "2safe") ("2safe" "2release" "2safe") ("2safe" "1assume2crit" "false") ("2safe" "2assume1crit" "2safe") - ("2crit" "1request" "2crit") - ("2crit" "2request" "2crit") - ("2crit" "1release" "2crit") - ("2crit" "2release" "2safe") - ("2crit" "1assume2crit" "2crit") - ("2crit" "2assume1crit" "2crit") + ("2critAccess" "1request" "2critAccess") + ("2critAccess" "2request" "2critAccess") + ("2critAccess" "1release" "2critAccess") + ("2critAccess" "2release" "2safe") + ("2critAccess" "1assume2crit" "2critAccess") + ("2critAccess" "2assume1crit" "2critAccess") ("false" "1request" "false") ("false" "2request" "false") ("false" "1release" "false")