Mercurial > repos > public > sbplib

annotate assertSymbolic.m @ 1193:921595039ab8 feature/rv

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add options for postprocessing RV
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Mon, 29 Jul 2019 16:44:21 +0200
parents e32c861141aa
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
575
e32c861141aa Add assert function for symbolic bools
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
1 function assertSymbolic(s)
e32c861141aa Add assert function for symbolic bools
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
2 assert(logical(simplify(s)));
e32c861141aa Add assert function for symbolic bools
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
3 end