Commit 7db9bead authored by Bartek Wrona's avatar Bartek Wrona
Browse files

Merge branch 'smt_crash_fix' into '0.24.0' 

Fix for two SMT tests

See merge request hive!39
parents 9ed87105 551453bd
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment