diff options
author | Dietrich <dgeisler50@gmail.com> | 2015-04-27 05:37:19 -0600 |
---|---|---|
committer | Dietrich <dgeisler50@gmail.com> | 2015-04-27 05:37:19 -0600 |
commit | 2dae113e5996e050ca6595542de5030747245929 (patch) | |
tree | 74454d160c292949bedd02ebc1477930a763d2e1 /Test | |
parent | 94a9542de594ef210d1ede1ff05e12289dfb2dc7 (diff) |
Began adding the float type to VC expression
Diffstat (limited to 'Test')
-rw-r--r-- | Test/test1/IntReal.bpl.expect | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/test1/IntReal.bpl.expect b/Test/test1/IntReal.bpl.expect index 021a8389..b532d22a 100644 --- a/Test/test1/IntReal.bpl.expect +++ b/Test/test1/IntReal.bpl.expect @@ -12,8 +12,8 @@ IntReal.bpl(19,12): Error: invalid argument types (real and int) to binary opera IntReal.bpl(25,8): Error: invalid argument types (int and real) to binary operator ** IntReal.bpl(29,14): Error: invalid argument types (real and int) to binary operator == IntReal.bpl(31,13): Error: invalid argument types (int and real) to binary operator == -IntReal.bpl(34,6): Error: argument type int does not match expected type real -IntReal.bpl(35,6): Error: argument type real does not match expected type int +IntReal.bpl(34,6): Error: argument type int does not match expected type real or type float +IntReal.bpl(35,6): Error: argument type real does not match expected type int or type float IntReal.bpl(47,8): Error: invalid argument types (real and int) to binary operator div IntReal.bpl(48,8): Error: invalid argument types (real and int) to binary operator mod 18 type checking errors detected in IntReal.bpl |