You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When I run it with souffle -w example.dl, I get 0.8030000000000008.
I run it with souffle -w -c example.dl, I get empty result. Should they have the same result?
The version of Souffle is 29c5921
The text was updated successfully, but these errors were encountered:
Hi,
Consider the following program:
When I run it with
souffle -w example.dl
, I get0.8030000000000008
.I run it with
souffle -w -c example.dl
, I get empty result. Should they have the same result?The version of Souffle is
29c5921
The text was updated successfully, but these errors were encountered: