Skip to content

Commit ad0a942

Browse files
Debug: When krun finishes successfully, delete some more useless cells, so that the displayed configuration will be shorter.
1 parent 3c21000 commit ad0a942

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

semantics/api-threads.k

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -366,8 +366,10 @@ rule [ThreadTermination]:
366366
/*@Dissolves classes cell so that configuration is not over-bloated, at the end of the execution.*/
367367
rule [DissolveClasses]:
368368
(<classes> _:Bag </classes> => .)
369+
(<phTN> _:Bag </phTN> => .)
370+
(<phCU> _:Bag </phCU> => .)
369371
<threads> .Bag </threads>
370-
<globalPhase> ExecutionPhase </globalPhase>
372+
<globalPhase> ExecutionPhase </globalPhase>
371373
<dissolveClasses> true </dissolveClasses>
372374

373375
/*@Dissolve all cells except <out> for the purpose of model checking. We will avoid duplicates caused by the same <out> but different order of content in other cells.*/

0 commit comments

Comments
 (0)