annotate assertSymbolic.m @ 955:92c3c170e90b

Merged in feature/utux2D (pull request #11) Feature/utux2D Approved-by: Jonatan Werpers <jonatan.werpers@it.uu.se> Approved-by: Martin Almquist <malmquist@stanford.edu> Approved-by: Vidar Stiernström <vidar.stiernstrom@it.uu.se>
author Jonatan Werpers <jonatan.werpers@it.uu.se>
date Mon, 10 Dec 2018 08:29:41 +0000
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