# HG changeset patch
# User wenzelm
# Date 1554979310 -7200
# Node ID b48a496ca0cd1d529d885cd632c079bef4aa0bf1
# Parent  62b875ba33e179bf42af125d8245f301f5ba6fbe
more robust test: avoid spurious Interrupt (stack overflow?) due to List.fun_lub_parametric;

diff -r 62b875ba33e1 -r b48a496ca0cd src/Benchmarks/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy
--- a/src/Benchmarks/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy	Thu Apr 11 12:38:22 2019 +0200
+++ b/src/Benchmarks/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy	Thu Apr 11 12:41:50 2019 +0200
@@ -27,7 +27,10 @@
 
 context notes [[quickcheck_finite_types = true]]
 begin
-  find_unused_assms List
+  context notes [[quickcheck_finite_type_size = 2]]
+  begin
+    find_unused_assms List
+  end
   find_unused_assms Map
 end