view assertSymbolic.m @ 901:6cc9f8a866f2 bcSetupExperiment

Close branch bcSetupExperiment
author Jonatan Werpers <jonatan.werpers@it.uu.se>
date Sat, 24 Nov 2018 14:55:48 +0000
parents e32c861141aa
children
line wrap: on
line source

function assertSymbolic(s)
    assert(logical(simplify(s)));
end