1
2
goals_limit := 1;
3
4
Unify.search_bound := 40;
5
Unify.trace_bound := 40;
6
7
with_paths ["J" ] use_thy "JTypeSafe";
8
with_paths ["J" ] use_thy "Example";
9
with_paths ["J", "JVM", "BV"] use_thy "BVSpecTypeSafe";