diff options
author | Vincent Ambo <mail@tazj.in> | 2021-12-15T20·51+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2021-12-15T21·02+0000 |
commit | fa73841a4b8bf305e375bdebf0c5b10b3fec4113 (patch) | |
tree | 702450de676048b2b2d13d306fe06c81c85dd070 /third_party/lisp/fiveam/t/example.lisp | |
parent | 0784e68e204d93b7f447ef9e2f436cbc066920cc (diff) |
chore(3p/lisp): use nixpkgs sources for fiveam r/3256
Change-Id: Id0613ace9b77d3ad46cdf2366e84d026d1158ace Reviewed-on: https://cl.tvl.fyi/c/depot/+/4340 Autosubmit: tazjin <mail@tazj.in> Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to 'third_party/lisp/fiveam/t/example.lisp')
-rw-r--r-- | third_party/lisp/fiveam/t/example.lisp | 126 |
1 files changed, 0 insertions, 126 deletions
diff --git a/third_party/lisp/fiveam/t/example.lisp b/third_party/lisp/fiveam/t/example.lisp deleted file mode 100644 index c949511a28cd..000000000000 --- a/third_party/lisp/fiveam/t/example.lisp +++ /dev/null @@ -1,126 +0,0 @@ -;;;; -*- Mode: Lisp; indent-tabs-mode: nil -*- - -;;;; * FiveAM Example (poor man's tutorial) - -(asdf:oos 'asdf:load-op :fiveam) - -(defpackage :it.bese.fiveam.example - (:use :common-lisp - :it.bese.fiveam)) - -(in-package :it.bese.fiveam.example) - -;;;; First we need some functions to test. - -(defun add-2 (n) - (+ n 2)) - -(defun add-4 (n) - (+ n 4)) - -;;;; Now we need to create a test which makes sure that add-2 and add-4 -;;;; work as specified. - -;;;; we create a test named ADD-2 and supply a short description. -(test add-2 - "Test the ADD-2 function" ;; a short description - ;; the checks - (is (= 2 (add-2 0))) - (is (= 0 (add-2 -2)))) - -;;;; we can already run add-2. This will return the list of test -;;;; results, it should be a list of two test-passed objects. - -(run 'add-2) - -;;;; since we'd like to have some kind of readbale output we'll explain -;;;; the results - -(explain! (run 'add-2)) - -;;;; or we could do both at once: - -(run! 'add-2) - -;;;; So now we've defined and run a single test. Since we plan on -;;;; having more than one test and we'd like to run them together let's -;;;; create a simple test suite. - -(def-suite example-suite :description "The example test suite.") - -;;;; we could explictly specify that every test we create is in the the -;;;; example-suite suite, but it's easier to just change the default -;;;; suite: - -(in-suite example-suite) - -;;;; now we'll create a new test for the add-4 function. - -(test add-4 - (is (= 0 (add-4 -4)))) - -;;;; now let's run the test - -(run! 'add-4) - -;;;; we can get the same effect by running the suite: - -(run! 'example-suite) - -;;;; since we'd like both add-2 and add-4 to be in the same suite, let's -;;;; redefine add-2 to be in this suite: - -(test add-2 "Test the ADD-2 function" - (is (= 2 (add-2 0))) - (is (= 0 (add-2 -2)))) - -;;;; now we can run the suite and we'll see that both add-2 and add-4 -;;;; have been run (we know this since we no get 4 checks as opposed to -;;;; 2 as before. - -(run! 'example-suite) - -;;;; Just for fun let's see what happens when a test fails. Again we'll -;;;; redefine add-2, but add in a third, failing, check: - -(test add-2 "Test the ADD-2 function" - (is (= 2 (add-2 0))) - (is (= 0 (add-2 -2))) - (is (= 0 (add-2 0)))) - -;;;; Finally let's try out the specification based testing. - -(defun dummy-add (a b) - (+ a b)) - -(defun dummy-strcat (a b) - (concatenate 'string a b)) - -(test dummy-add - (for-all ((a (gen-integer)) - (b (gen-integer))) - ;; assuming we have an "oracle" to compare our function results to - ;; we can use it: - (is (= (+ a b) (dummy-add a b))) - ;; if we don't have an oracle (as in most cases) we just ensure - ;; that certain properties hold: - (is (= (dummy-add a b) - (dummy-add b a))) - (is (= a (dummy-add a 0))) - (is (= 0 (dummy-add a (- a)))) - (is (< a (dummy-add a 1))) - (is (= (* 2 a) (dummy-add a a))))) - -(test dummy-strcat - (for-all ((result (gen-string)) - (split-point (gen-integer :min 0 :max 10000) - (< split-point (length result)))) - (is (string= result (dummy-strcat (subseq result 0 split-point) - (subseq result split-point)))))) - -(test random-failure - (for-all ((result (gen-integer :min 0 :max 1))) - (is (plusp result)) - (is (= result 0)))) - -(run! 'example-suite) |