close Warning: Can't synchronize with repository "(default)" (The repository directory has changed, you should resynchronize the repository with: trac-admin $ENV repository resync '(default)'). Look in the Trac log for more information.

Ignore:
Timestamp:
2015-06-07T00:15:41-07:00 (9 years ago)
Author:
Marek Rychlik
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/f4grobner/5am-tests.lisp

    r614 r620  
    136136  "Parser"
    137137  (let (($f '((MLIST SIMP) ((MPLUS SIMP) $X ((MTIMES SIMP) -1 $Y)) ((MPLUS SIMP) $X $Y)))
    138         ($v ((MLIST SIMP) $X $Y)))
    139     (parse-poly-list $f $v)))
     138        ($v '((MLIST SIMP) $X $Y)))
     139    (is-true (parse-poly-list $f $v))))
    140140
    141141
Note: See TracChangeset for help on using the changeset viewer.