Add enum to delim-cont bench

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/1.diff

@@ -5,11 +5,11 @@
 > 
 > ;; note: this bug was found and fixed during the development of this model
 > ;; with commit: 4b848777d12a2e5b59b43c8e77f9f68b747d1151
-223c226
+224c227
 <         (monitor (list/c ctc) (ccm mk t) k l j)
 ---
 >         (monitor ctc (ccm mk t) k l j) 
-325a329
+326a330
 > 
-936a941
+937a942
 > 

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/2.diff

@@ -2,12 +2,12 @@
 < (define the-error "no-error")
 ---
 > (define the-error "list/c contracts aren't applied properly in the cons case")
-205c205
+206c206
 <    (--> (monitor (list/c ctc) (cons v_1 v_2) k l j)
 ---
 >    (--> (monitor ctc (cons v_1 v_2) k l j)
-325a326
+326a327
 > 
-936a938,939
+937a939,940
 > 
 > 

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/3.diff

@@ -2,12 +2,12 @@
 < (define the-error "no-error")
 ---
 > (define the-error "the function argument to call/comp has the wrong type")
-325a326
+326a327
 > 
-463c464
+464c465
 <   [(tc Γ Σ e_1 (→ (→ t_3 t_2) t_3))
 ---
 >   [(tc Γ Σ e_1 (→ t_2 t_3))
-936a938,939
+937a939,940
 > 
 > 

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt

@@ -5,7 +5,8 @@
 ;; note: this bug was found and fixed during the development of this model
 ;; with commit: 4b848777d12a2e5b59b43c8e77f9f68b747d1151
 
-(require redex/reduction-semantics)
+(require redex/reduction-semantics
+         math/base)
 
 (provide (all-defined-out))
 
@@ -939,3 +940,6 @@
 (define (type-check e)
   (judgment-holds (tc · · ,e t)))
 
+
+(define (generate-enum-term)
+  (generate-term abort-lang e #:i-th (random-natural #e10e200)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt

@@ -2,7 +2,8 @@
 
 (define the-error "list/c contracts aren't applied properly in the cons case")
 
-(require redex/reduction-semantics)
+(require redex/reduction-semantics
+         math/base)
 
 (provide (all-defined-out))
 
@@ -937,3 +938,6 @@
   (judgment-holds (tc · · ,e t)))
 
 
+
+(define (generate-enum-term)
+  (generate-term abort-lang e #:i-th (random-natural #e10e200)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt

@@ -2,7 +2,8 @@
 
 (define the-error "the function argument to call/comp has the wrong type")
 
-(require redex/reduction-semantics)
+(require redex/reduction-semantics
+         math/base)
 
 (provide (all-defined-out))
 
@@ -937,3 +938,6 @@
   (judgment-holds (tc · · ,e t)))
 
 
+
+(define (generate-enum-term)
+  (generate-term abort-lang e #:i-th (random-natural #e10e200)))

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt

@@ -2,7 +2,8 @@
 
 (define the-error "no-error")
 
-(require redex/reduction-semantics)
+(require redex/reduction-semantics
+         math/base)
 
 (provide (all-defined-out))
 
@@ -934,3 +935,6 @@
 
 (define (type-check e)
   (judgment-holds (tc · · ,e t)))
+
+(define (generate-enum-term)
+  (generate-term abort-lang e #:i-th (random-natural #e10e200)))