SoftVarE-Group/d-dnnf-reasoner

Random and t-wise commands produce inconsistent output in stream mode

Closed this issue · 0 comments

In version 0.7.0, in stream mode, when I use the t-wise and the random command I get the following output:

t-wise
-1 -2 3 1 2 -3
random l 2    
-1 -2 3;-1 -2 3

The output for random separates the configurations by a semicolon. However the output for t-wise does not.
I would be nice, if configs are always separated by a semicolon or something similar.