Commit f451adf3 authored by Sven Keidel's avatar Sven Keidel

update README

parent d6510fb9
......@@ -8,6 +8,11 @@ The sturdy project currently contains concrete and abstract interpreters for thr
* _While_, an imperative language with conditionals and while loops
* _Stratego_, a language for program transformations
To run the tests of a particular language use `stack test lang`, e.g.,
```
stack test sturdy-stratego --test-arguments "-m SortSemantics"
```
## Acknowledgments
I want to thank all people that have contributed to this project (in alphabetical order):
......
......@@ -20,25 +20,25 @@ spec =
m4 = []
in do
it "lookup x ([x -> -, y -> +] [x -> +, z -> 0]) = Just T" $ do
it "lookup x ([x -> -, y -> +] U [x -> +, z -> 0]) = Just T" $ do
lookup "x" (m1 m2) `shouldBe` Just Top
it "lookup y ([x -> -, y -> +] [x -> +, z -> 0]) = JustNothing +" $ do
it "lookup y ([x -> -, y -> +] U [x -> +, z -> 0]) = JustNothing +" $ do
lookup "y" (m1 m2) `shouldBe` JustNothing Positive
it "lookup z ([x -> -, y -> +] [x -> +, z -> 0]) = JustNothing 0" $ do
it "lookup z ([x -> -, y -> +] U [x -> +, z -> 0]) = JustNothing 0" $ do
lookup "z" (m1 m2) `shouldBe` JustNothing Zero
it "[x -> -, y -> +] ⊑ [x -> -, y -> +] ⊔ [x -> +, z -> 0]" $ do
it "[x -> -, y -> +] <= [x -> -, y -> +] U [x -> +, z -> 0]" $ do
m1 `shouldBeLessThan` (m1 m2)
it "[x -> +, z -> 0] ⊑ [x -> -, y -> +] ⊔ [x -> +, z -> 0]" $ do
it "[x -> +, z -> 0] <= [x -> -, y -> +] U [x -> +, z -> 0]" $ do
m2 `shouldBeLessThan` (m1 m2)
it "[x -> T, y -> +, z -> 0] ⊑ [x -> -, y -> +] ⊔ [x -> +, z -> 0]" $ do
it "[x -> T, y -> +, z -> 0] <= [x -> -, y -> +] U [x -> +, z -> 0]" $ do
m3 `shouldBeLessThan` (m1 m2)
it "Map. is reflexive" $ do
it "Map.<= is reflexive" $ do
m4 `shouldBeLessThan` m4
m1 `shouldBeLessThan` m1
m2 `shouldBeLessThan` m2
......@@ -49,4 +49,4 @@ spec =
shouldBeLessThan :: (Show a, PreOrd a) => a -> a -> Expectation
shouldBeLessThan a b
| a b = return ()
| otherwise = expectationFailure $ printf "%s ⊑/ %s" (show a) (show b)
| otherwise = expectationFailure $ printf "%s </= %s" (show a) (show b)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment