add testcase

2473fe68 · Laszlo Domoszlai · f9d21335 · 2473fe68 · 2473fe68
Commit 2473fe68 authored Mar 14, 2016 by Laszlo Domoszlai
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

tests/real.exp tests/real.exp +1 -0

tests/real.sapl tests/real.sapl +5 -0

No files found.
--- a/tests/real.exp
+++ b/tests/real.exp
+[real.Span [65]]
\ No newline at end of file
--- a/tests/real.sapl
+++ b/tests/real.sapl
+main = real.Start
+real.Start = real.op real.sp (real.Span 23.0) (real.Span 42.0)
+:: real.Span = real.Span a1::D
+real.sp !_x_0 !_x_1 = select _x_0 (real.Span a_1_0 -> select _x_1 (real.Span b_2_0 -> real.Span (addR a_1_0 b_2_0)) ) 
+real.op !f_0 v1_1 v2_2 = f_0 v1_1 v2_2