check-satisfied: added feature to the htdp languages

2014-07-30 11:15:06 -04:00 · 2014-07-30 11:15:06 -04:00 · fd99525638
commit fd99525638
parent ecfafe6312
5 changed files with 9 additions and 4 deletions
--- a/pkgs/htdp-pkgs/htdp-lib/lang/htdp-advanced.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/lang/htdp-advanced.rkt
@ -57,6 +57,7 @@
          [advanced-module-begin #%module-begin])
         check-expect
         check-random
+	 check-satisfied
         check-within
         check-error
         check-member-of
--- a/pkgs/htdp-pkgs/htdp-lib/lang/htdp-beginner-abbr.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/lang/htdp-beginner-abbr.rkt
@ -38,7 +38,8 @@
          [beginner-true true]
          [beginner-false false])
         check-expect
-	 check-random 
+	 check-random
+	 check-satisfied
         check-within
         check-error
         check-member-of
--- a/pkgs/htdp-pkgs/htdp-lib/lang/htdp-beginner.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/lang/htdp-beginner.rkt
@ -42,7 +42,8 @@
          [beginner-false false]
          )
         check-expect
-	 check-random 
+	 check-random
+	 check-satisfied
         check-within
         check-error
         check-member-of
--- a/pkgs/htdp-pkgs/htdp-lib/lang/htdp-intermediate-lambda.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/lang/htdp-intermediate-lambda.rkt
@ -43,7 +43,8 @@
          [beginner-false false]
          )
         check-expect
-	 check-random 
+	 check-random
+	 check-satisfied
         check-within
         check-error
         check-member-of
--- a/pkgs/htdp-pkgs/htdp-lib/lang/htdp-intermediate.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/lang/htdp-intermediate.rkt
@ -44,7 +44,8 @@
          [beginner-false false]
          )
         check-expect
-	 check-random 
+	 check-random
+	 check-satisfied
         check-within
         check-error
         check-member-of