Skip to content

Commit cad08ad

Browse files
committed
disable debug output
1 parent 65a6078 commit cad08ad

File tree

1 file changed

+7
-3
lines changed

1 file changed

+7
-3
lines changed

external-stg-interpreter/datalog/ext-stg-gc.dl

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,9 @@
33

44
.decl Reference(from : symbol, to : symbol)
55
.input Reference
6-
//.output Reference
76

87
.decl GCRoot(val : symbol)
98
.input GCRoot
10-
//.output GCRoot
119

1210
// output
1311

@@ -33,7 +31,6 @@ LiveStep0(to) :-
3331

3432
.decl MaybeDeadlockingThread(threadId : symbol)
3533
.input MaybeDeadlockingThread
36-
//.output MaybeDeadlockingThread
3734

3835
.decl DeadlockingThread(threadId : symbol)
3936
.output DeadlockingThread
@@ -76,3 +73,10 @@ LiveReferredBy(to, from) :-
7673
Live(from),
7774
Live(to).
7875
*/
76+
77+
/*
78+
// debug output
79+
.output Reference
80+
.output GCRoot
81+
.output MaybeDeadlockingThread
82+
*/

0 commit comments

Comments
 (0)