mei_rt2mei_rt2_fix_1meiyap-rt1rt2
|
Last change
on this file since c586a3c was
c586a3c,
checked in by Mei <mei@…>, 12 years ago
|
|
1) add support for float static range constraint
2) add a testcase for testing float static range constraint
3) add runall-fast (skipping the creddy part)
|
-
Property mode set to
100644
|
|
File size:
219 bytes
|
| Line | |
|---|
| 1 | pRalphs.fruitprice(1.50) <- 'apple' |
|---|
| 2 | pRalphs.fruitprice(2.50) <- 'blueberry' |
|---|
| 3 | pRalphs.fruitprice(0.50) <- 'orange' |
|---|
| 4 | pBob.what2eat <- pRalphs.fruitprice(P:[1.00..5.00]) |
|---|
| 5 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.00]) |
|---|
Note: See
TracBrowser
for help on using the repository browser.
