view assertSymbolic.m @ 1040:85a311344978 feature/rv

Created a new branch for gathering rv-specific features, since the specific branches are getting nested anyways.
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Fri, 18 Jan 2019 09:10:45 +0100
parents e32c861141aa
children
line wrap: on
line source

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