Arrayname ist jetzt passender.

NicoleRauch · Oct 17, 2018 · 2b2c49d · 2b2c49d
1 parent 7a18fd5
commit 2b2c49d
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 5 deletions.
diff --git a/slides/contents.tex b/slides/contents.tex
@@ -576,6 +576,11 @@
 *Main> quickCheck prop_RevId 
 *** Failed! Falsifiable (after 7 tests and 3 shrinks):    
 [0,1]
+\end{lstlisting}
+
+\onslide+<7->
+\vspace{-0.55em}
+\begin{lstlisting}
 *Main> quickCheck prop_RevId 
 *** Failed! Falsifiable (after 4 tests and 1 shrink):     
 [1,0]
@@ -663,7 +668,7 @@
 
 while (count < 50) {
     count++;
-    requests.push(chooseFrom(modifyingRequestGenerator)());
+    requests.push(chooseFrom(modifyingRequests)());
 }
 
 async.mapSeries(requests, requestAndCompare, (err, results) => {
@@ -685,7 +690,7 @@
     () => ({url: '/reset', method: 'DELETE'}),
 ];
 
-const modifyingRequestGenerator = [
+const modifyingRequests = [
     // addPet
     () => ({url: '/pets', method: 'POST', json: true, body: randomPet()}),
     // removePet
@@ -730,7 +735,7 @@
 
 while (count < 50) {
     count++;
-    requests.push(chooseFrom(modifyingRequestGenerator)());
+    requests.push(chooseFrom(modifyingRequests)());
 }
 
 async.mapSeries(requests, requestAndCompare, (err, results) => {

diff --git a/slides/slides.pdf b/slides/slides.pdf
diff --git a/sources/model/src/driver.js b/sources/model/src/driver.js
@@ -21,7 +21,7 @@ const resets = [
     () => ({url: '/reset', method: 'DELETE'}),
 ];
 
-const modifyingRequestGenerator = [
+const modifyingRequests = [
     // addPet
     () => ({url: '/pets', method: 'POST', json: true, body: randomPet()}),
     // removePet
@@ -95,7 +95,7 @@ let count = 0;
 
 while (count < 50) {
     count++;
-    requests.push(chooseFrom(modifyingRequestGenerator)());
+    requests.push(chooseFrom(modifyingRequests)());
 }
 
 async.mapSeries(requests, requestAndCompare, (err, results) => {