sepcomp: rewrote, fix and document `equal_test` in the c_primitive case
authorJean Privat <jean@pryen.org>
Mon, 21 Sep 2015 17:52:42 +0000 (13:52 -0400)
committerJean Privat <jean@pryen.org>
Mon, 21 Sep 2015 17:52:42 +0000 (13:52 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>


No differences found