view assertSymbolic.m @ 786:18ce4b1ab3e1 bcSetupExperiment

Move verification to a separate function
author Jonatan Werpers <jonatan@werpers.com>
date Tue, 24 Jul 2018 16:12:39 -0700
parents e32c861141aa
children
line wrap: on
line source

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