Changeset 2cf05a in git for Tst/New.lst


Ignore:
Timestamp:
Feb 19, 2013, 12:42:46 PM (10 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
Children:
11e593b7d06bde70555fd944e100187b744cd03b86ab48359e44daf79a56dc6aea038ac586970f59
Parents:
c8f2d4d60149d2b8335c1f3b1654125fccffdff48c9cc0318ae7a2479575fa31d68f25087cab165e
Message:
Merge pull request #271 from jankoboehm/spielwiese

Added test for sat
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Tst/New.lst

    rc8f2d4 r2cf05a  
    1919New/ignoring_denominators_of_coefficients.tst
    2020New/syz_cleardenom.tst
     21New/sat_cleardenom.tst
     22New/quotient_cleardenom.tst
    2123
Note: See TracChangeset for help on using the changeset viewer.