From b2ba4768c6fca43b5a87384a90b0fd3175459d19 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=98yvind?= Date: Sun, 13 Mar 2022 20:19:39 +0100 Subject: [PATCH] added some constant relations --- .../04/vslc/vsl_programs/ps3-simplify/lists.vsl | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/exercises/04/vslc/vsl_programs/ps3-simplify/lists.vsl b/exercises/04/vslc/vsl_programs/ps3-simplify/lists.vsl index 27a7746..568cb89 100644 --- a/exercises/04/vslc/vsl_programs/ps3-simplify/lists.vsl +++ b/exercises/04/vslc/vsl_programs/ps3-simplify/lists.vsl @@ -7,6 +7,18 @@ func my_fun(a, b, c, d, e, f, g, h) begin if i = f then begin print "hmmm" end + + if 1 = 1 then begin + print "true" + end + + if 1 = 2 then begin + print "false" + end + + if 1 < 2 then begin + print "true" + end end func main() begin