view assertSymbolic.m @ 867:d634d4deb263 bcSetupExperiment

More notes
author Jonatan Werpers <jonatan@werpers.com>
date Thu, 26 Jul 2018 17:28:48 -0700
parents e32c861141aa
children
line wrap: on
line source

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