view assertSymbolic.m @ 788:b3ea4cccaf15 bcSetupExperiment

Remove some stuff duplicated from the verifyFormat function
author Jonatan Werpers <jonatan@werpers.com>
date Tue, 24 Jul 2018 16:30:15 -0700
parents e32c861141aa
children
line wrap: on
line source

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