Skip to content
Unverified Commit e5bb974f authored by Matthias Diener's avatar Matthias Diener Committed by GitHub
Browse files

tests: add more asserts (#114) 

* tests: add more asserts

* fix barvinok test
parent 2a248382