* powerset.exp: Add test.
This commit is contained in:
parent
c105168f76
commit
8513db3731
2 changed files with 7 additions and 0 deletions
|
@ -1,3 +1,7 @@
|
|||
Wed Mar 6 00:29:35 1996 Wilfried Moser (Alcatel) <moser@rtl.cygnus.com>
|
||||
|
||||
* powerset.exp: Add test.
|
||||
|
||||
Tue Mar 5 23:41:39 1996 Wilfried Moser (Alcatel) <moser@rtl.cygnus.com>
|
||||
|
||||
* gch922.{ch,exp}, powerset.{ch,exp}: New test cases.
|
||||
|
|
|
@ -161,6 +161,9 @@ proc test_max {} {
|
|||
test_print_accept "print max(v_ps5)" "FALSE"
|
||||
test_print_accept "print max(v_ps6)" "50"
|
||||
|
||||
# test an IN
|
||||
test_print_accept "print 0 in v_ps6" "TRUE"
|
||||
|
||||
# a failure
|
||||
setup_xfail "*-*-*"
|
||||
test_print_accept "print max(v_ps51)" "MAX for empty powerset"
|
||||
|
|
Loading…
Reference in a new issue