Some tests failing #34
Description
Some tests are failing, specifically lines 21, 29 and 38 of test/logiset.jl, while one test given an error, namely line 106 in test/memoset.jl.
At the moment of writing, I am commenting these lines for a little release to solve compatibility issues in other packages; however, this should be investigated, resolved and patched asap.
Fails are probably simply due to the random generator: StableRNG should be used instead to prevent this kind of unexpected behaviors in the future.
Error regards the following:
Could not find relation IdentityRel() in memoset of type ScalarOneStepMemoset{Bool, SoleLogics.World{Int64}, SoleLogics.ExplicitCrispUniModalFrame{SoleLogics.World{Int64}, SimpleDiGraph{Int64}}, Bool, ScalarOneStepRelationalMemoset{SoleLogics.World{Int64}, Bool, SoleLogics.ExplicitCrispUniModalFrame{SoleLogics.World{Int64}, SimpleDiGraph{Int64}}, Array{Dict{SoleLogics.World{Int64}, Bool}, 3}}, ScalarOneStepGlobalMemoset{SoleLogics.World{Int64}, Bool, Matrix{Union{Nothing, Bool}}}}.