more robust test: avoid spurious Interrupt (stack overflow?) due to List.fun_lub_parametric;
authorwenzelm
Thu, 11 Apr 2019 12:41:50 +0200
changeset 70304 b48a496ca0cd
parent 70303 62b875ba33e1
child 70305 e0ac5e71a964
child 70306 45ca4006a37f
more robust test: avoid spurious Interrupt (stack overflow?) due to List.fun_lub_parametric;
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