|
|
@@ -108,7 +108,9 @@ Boolean function reachability_graph(model : Element):
|
|
|
if (integer_lt(dict_repr[key], transition_vectors_consume[transition][key])):
|
|
|
// Impossible transition, so discard this one
|
|
|
possible = False
|
|
|
- break!
|
|
|
+ // Alternative implementation of break, which seems to crash JIT sometimes
|
|
|
+ //break!
|
|
|
+ keys = set_create()
|
|
|
|
|
|
if (possible):
|
|
|
new_dict_repr = dict_copy(dict_repr)
|
|
|
@@ -135,7 +137,9 @@ Boolean function reachability_graph(model : Element):
|
|
|
|
|
|
if (dict_eq(reachable_states[other_state_id], new_dict_repr)):
|
|
|
target_id = other_state_id
|
|
|
- break!
|
|
|
+ // Alternative implementation of break, which seems to crash JIT sometimes
|
|
|
+ //break!
|
|
|
+ keys = set_create()
|
|
|
|
|
|
if (target_id == -1):
|
|
|
// New state
|
