UpsilonNumworks/Upsilon
1
0
Fork 0
mirror of https://github.com/UpsilonNumworks/Upsilon.git synced 2026-03-24 08:10:50 +01:00
Code Issues Packages Projects Releases Wiki Activity
417 Commits 11 Branches 65 Tags
ad33e7ffa4b19fc7bcb293d8db7ca7e2b9bae0ae
Commit Graph

4 Commits

Author SHA1 Message Date
Felix Raimundo
ad33e7ffa4 Make the tests more verbose if needed. 
Change-Id: I37f2456f5c31ea4e1057b58774bc70f7728508a6
 2016-04-22 16:52:45 +02:00
Felix Raimundo
07fdfacd5b Adds the equivalentTo test utility. 
Change-Id: I1999a2e7434cc5919e628b906a13ec0edea04b8d
 2016-04-18 18:48:56 +02:00
Felix Raimundo
44ec987008 Add is_identical_to util in tests. 
Change-Id: I8b55a228e1bd27e4c7b72891ff887bdc15b02fad
 2016-04-11 12:47:24 +02:00
Felix Raimundo
93914a21fc Refactor the simplification tests. 
The assert_simpfilies_to is now a util function.

Change-Id: Iac164359e7f8136434860e10d9b414b17c6b6268
 2016-04-11 12:26:06 +02:00