Fix to QC search type convertTo

nickbattle · Oct 16, 2023 · a39d377 · a39d377
1 parent aac7631
commit a39d377
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/examples/quickcheck/src/main/java/quickcheck/strategies/SearchQCStrategy.java b/examples/quickcheck/src/main/java/quickcheck/strategies/SearchQCStrategy.java
@@ -33,6 +33,7 @@
 import com.fujitsu.vdmj.in.patterns.INBindingSetter;
 import com.fujitsu.vdmj.pog.ProofObligation;
 import com.fujitsu.vdmj.runtime.Context;
+import com.fujitsu.vdmj.runtime.ContextException;
 import com.fujitsu.vdmj.runtime.ValueException;
 import com.fujitsu.vdmj.tc.expressions.TCExistsExpression;
 import com.fujitsu.vdmj.values.NameValuePair;
@@ -122,6 +123,10 @@ public Results getValues(ProofObligation po, INExpression exp, List<INBindingSet
 						{
 							// ignore illegal values
 						}
+						catch (ContextException e)
+						{
+							// ignore illegal values
+						}
 
 						break;
 					}