From ad8e984fd4590740cb6dc23e951848108f671aac Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Mon, 6 Apr 2015 12:02:38 -0700 Subject: 1024 - basic skeleton for running scenarios For now every scenario parses to the same dummy scenario. --- cpp/032string.mu | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) (limited to 'cpp/032string.mu') diff --git a/cpp/032string.mu b/cpp/032string.mu index eff288eb..38d9d06f 100644 --- a/cpp/032string.mu +++ b/cpp/032string.mu @@ -27,3 +27,38 @@ recipe string-equal [ } reply 1:literal ] + +scenario string-equal-reflexive [ + run [ + default-space:address:space <- new location:type, 30:literal + x:address:array:character <- new [abc] + 3:boolean/raw <- string-equal x:address:array:character, x:address:array:character + ] + memory should contain [ + 3 <- 1 # x == x for all x + ] +] + +scenario string-equal [ + run [ + default-space:address:space <- new location:type, 30:literal + x:address:array:character <- new [abc] + y:address:array:character <- new [abc] + 3:boolean/raw <- string-equal x:address:array:character, y:address:array:character + ] + memory should contain [ + 3 <- 1 # abc == abd + ] +] + +scenario string-equal2 [ + run [ + default-space:address:space <- new location:type, 30:literal + x:address:array:character <- new [abc] + y:address:array:character <- new [abcd] + 3:boolean/raw <- string-equal x:address:array:character, y:address:array:character + ] + memory should contain [ + 3 <- 0 # abc != abd + ] +] -- cgit 1.4.1-2-gfad0