simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

update expected test

Browse source
This commit is contained in:
Simon Cruanes 2022-02-14 11:20:59 -05:00
parent 98c30bf0cc
commit fb552ba8b2
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 5 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/tests/regression/reg_model_lra1.out.expected
View file

@ -2,10 +2,8 @@
(true := true) (true := true)
(false := false) (false := false)
(a := 5/3) (a := 5/3)
(_sk_lra__le0 := 5) ((* 3 a) := 5)
((to_real _sk_lra__le0) := 5) (5 := 5)
((= 5 (to_real _sk_lra__le0)) := true) ((= (* 3 a) 5) := true)
(((to_real _sk_lra__le0) >= 5) := true) ((<= (* 3 a) 5) := true)
(((to_real _sk_lra__le0) <= 5) := true) ((>= (* 3 a) 5) := true))
((a <= 5/3) := true)
((a >= 5/3) := true))