syndicate-lang
/
syndicate-rkt
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add second, non-dataspace, test case to illustrate correct behaviour

This commit is contained in:
Tony Garnock-Jones 2018-05-02 23:36:03 +01:00
parent 852eff8d0b
commit fa3505e3a6
1 changed files with 42 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

47
syndicate/test/core/nesting-confusion.rkt
View File

@ -16,6 +16,20 @@
(assertion-struct researcher (name topic))
(define no-mention-of-discard
(lambda ()
(not (memf (lambda (line) (string-contains? line "#s(discard)"))
(collected-lines)))))
(define-syntax-rule (correct-topics-and-researchers)
(expected-output-set "Added researcher: Alice"
"Added researcher: Eve"
"Added researcher: Tony"
"Added topic: Bicycling"
"Added topic: Computering"
"Added topic: Cryptography"
"Added topic: Evil"))
(test-case
[(spawn #:name 'tony
(assert (researcher "Tony" "Computering"))
@ -38,8 +52,31 @@
(on-start (printf "Added researcher: ~a\n" name))
(on-stop (printf "Removed researcher: ~a\n" name)))))]
no-crashes
(procedure-rename
(lambda ()
(not (memf (lambda (line) (string-contains? line "#s(discard)"))
(collected-lines))))
'no-mention-of-discard))
no-mention-of-discard
(correct-topics-and-researchers))
(test-case
;; This one is just like the one above, but doesn't have the
;; nested dataspace, so the right answers are given.
[(spawn #:name 'tony
(assert (researcher "Tony" "Computering"))
(assert (researcher "Tony" "Bicycling")))
(spawn #:name 'alice
(assert (researcher "Alice" "Cryptography"))
(assert (researcher "Alice" "Bicycling")))
(spawn #:name 'eve
(assert (researcher "Eve" "Cryptography"))
(assert (researcher "Eve" "Computering"))
(assert (researcher "Eve" "Evil")))
(spawn #:name 'all-topics
(during (researcher _ $topic)
(on-start (printf "Added topic: ~a\n" topic))
(on-stop (printf "Removed topic: ~a\n" topic))))
(spawn #:name 'all-researchers
(during (researcher $name _)
(on-start (printf "Added researcher: ~a\n" name))
(on-stop (printf "Removed researcher: ~a\n" name))))]
no-crashes
no-mention-of-discard
(correct-topics-and-researchers))